{"push_id":1471725324,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a2850ac05041f15265bcceeceaadb604bf593794","before":"1aa92c7d7d1ad840a422edf688d58f6de470ca84","commits":[{"sha":"a2850ac05041f15265bcceeceaadb604bf593794","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"fix(library/tactic/congruence/congruence_closure): bugs in the fo-approx mode, and debug mode compilation errors","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/a2850ac05041f15265bcceeceaadb604bf593794"}]}
{"actor":{"display_login":"leodemoura"}}