{"push_id":1806508315,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"325988447b228430345a73e97190a84c8d504ad1","before":"98e4cbe77425c57358ebd5fdbc9bcf30bed0d0f0","commits":[{"sha":"325988447b228430345a73e97190a84c8d504ad1","author":{"name":"Richard Lawrence","email":"66b882d95a89b803926ee87e2905239ce64a2178@berkeley.edu"},"message":"Revert \"solutions/forallx-sol-{proof}fol.tex: correct solutions numbering\"\n\nThis reverts commit e17d6436e857718addf60caec2dc9b5f3bc4d8ad.\n\nThe corrections to the numbering are not needed (and in one case\nincorrect) after merging the solutions manual fixes from upstream.","distinct":true,"url":"https://api.github.com/repos/wyleyr/forallx-yyc/commits/325988447b228430345a73e97190a84c8d504ad1"}]}
{"actor":{"display_login":"wyleyr"}}