{"push_id":1503028540,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c10a7ba530fbb88c02e77a7c8ce8890517f6e66e","before":"00f97cbf36ee0a9ed6be02d4f98fc3aba784d4fe","commits":[{"sha":"c10a7ba530fbb88c02e77a7c8ce8890517f6e66e","author":{"name":"Bethany","email":"0258b2645c7572245cd835aa79f47efbf106a5c7@student.bham.ac.uk"},"message":"agda stuff from lectures","distinct":true,"url":"https://api.github.com/repos/bethany0-0/Y3/commits/c10a7ba530fbb88c02e77a7c8ce8890517f6e66e"}]}
{"actor":{"display_login":"bethany0-0"}}