{"push_id":739293055,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"68370d5c8e567f18342fa3ac61aa380695942d37","before":"d02b83b6d60b36b663dc73f67ac3e096b14e1f60","commits":[{"sha":"68370d5c8e567f18342fa3ac61aa380695942d37","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean): process \"show goal\" command line option","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/68370d5c8e567f18342fa3ac61aa380695942d37"}]}