{"push_id":683273491,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"86ae0f54bdb1ba72829b0a979173128a5bfad329","before":"ec85fe06a53eadeea74b935cf55858466e9bac42","commits":[{"sha":"86ae0f54bdb1ba72829b0a979173128a5bfad329","author":{"email":"a7c0c13c7074db9d37bd7253c81e330087f255e2@users.noreply.github.com","name":"Heather"},"message":"Merge pull request #20 from idris-hackers/proof-mode\n\nProving","distinct":true,"url":"https://api.github.com/repos/Heather/atom-language-idris/commits/86ae0f54bdb1ba72829b0a979173128a5bfad329"}]}