{"push_id":2355759630,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"27c803af2d23009e90da10df0b0fc3f0d57c342e","before":"2e9068c5b47a5ba36fe1cd8fd865f182e5569c77","commits":[{"sha":"27c803af2d23009e90da10df0b0fc3f0d57c342e","author":{"name":"Simon Hudon","email":"2b547a112bf48e0700daf3e68aa2ce70c021a0a5@gmail.com"},"message":"renamed `auto` and `xassumption` to `solve_by_elim` and `apply_assumption`","distinct":true,"url":"https://api.github.com/repos/unitb/lean-lib/commits/27c803af2d23009e90da10df0b0fc3f0d57c342e"}]}
{"actor":{"display_login":"cipher1024"}}