{"push_id":2978009162,"size":4,"distinct_size":1,"ref":"refs/heads/master","head":"f7e13faf6fd42250cd4a6ad27c6679bdc2c519a3","before":"95720642e1f92c54f7cc2798b83ef97e5f0a501d","commits":[{"sha":"dcf8beee15d4c57031d8c11d1d561d10eb6b5f06","author":{"name":"Matthew Daggitt","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"First stages","distinct":false,"url":"https://api.github.com/repos/MatthewDaggitt/agda-routing/commits/dcf8beee15d4c57031d8c11d1d561d10eb6b5f06"},{"sha":"077fe6e5d6e0be6a48971e4877dd135739838550","author":{"name":"=","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"Rearrangement for epochal asynchronous iterations","distinct":false,"url":"https://api.github.com/repos/MatthewDaggitt/agda-routing/commits/077fe6e5d6e0be6a48971e4877dd135739838550"},{"sha":"ae52a214da58e81f1c000cf2c2a7472671ae65ce","author":{"name":"=","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"Updated to version 0.17 of the standard library","distinct":false,"url":"https://api.github.com/repos/MatthewDaggitt/agda-routing/commits/ae52a214da58e81f1c000cf2c2a7472671ae65ce"},{"sha":"f7e13faf6fd42250cd4a6ad27c6679bdc2c519a3","author":{"name":"=","email":"17396a10e5c5526a4a3103b507a277f507162773@gmail.com"},"message":"More improvements","distinct":true,"url":"https://api.github.com/repos/MatthewDaggitt/agda-routing/commits/f7e13faf6fd42250cd4a6ad27c6679bdc2c519a3"}]}
{"actor":{"display_login":"MatthewDaggitt"}}