{"push_id":1301677261,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7412725cf27873b2b23f7e411a236a97dd99ef91","before":"877586d7c8e54c62eea61a5097f1568539e55dbd","commits":[{"sha":"7412725cf27873b2b23f7e411a236a97dd99ef91","author":{"name":"Michael Sullivan","email":"710de2b832a123f10eddc21abe0ecc1de6117997@msully.net"},"message":"Get to build with Agda 2.5.1.1","distinct":true,"url":"https://api.github.com/repos/msullivan/godels-t/commits/7412725cf27873b2b23f7e411a236a97dd99ef91"}]}
{"actor":{"display_login":"msullivan"}}