{"push_id":708695995,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f34ed5b365010f1a550aed50ce550519f49226f9","before":"4c4cd13b9a15f0c03a564cc8c9bd196b5e659d6c","commits":[{"sha":"f34ed5b365010f1a550aed50ce550519f49226f9","author":{"email":"67738d847bd81784c3234a08724da64ada9bd9be@gmail.com","name":"effectfully"},"message":"cosmetic changes","distinct":true,"url":"https://api.github.com/repos/effectfully/STLC-in-Agda/commits/f34ed5b365010f1a550aed50ce550519f49226f9"}]}