{"push_id":807622642,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c8fb25b1eb12d21ffe12d1bbae735ddc71f6124d","before":"93188242072bd7dea924f44af543813761f2f79a","commits":[{"sha":"c8fb25b1eb12d21ffe12d1bbae735ddc71f6124d","author":{"email":"7ee7249c3da6ebb7e8992deb8f60bafd5e2201ae@gmail.com","name":"Andrew Myers"},"message":"Update haskell-mode, add proof general.","distinct":true,"url":"https://api.github.com/repos/asmyers/.emacs.d/commits/c8fb25b1eb12d21ffe12d1bbae735ddc71f6124d"}]}