{"push_id":973775994,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a0b74d2ae49a393fc46041196a49151bc2484e3a","before":"01a89a21654bbe02eba51294839cad114053dec1","commits":[{"sha":"a0b74d2ae49a393fc46041196a49151bc2484e3a","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Update prelude","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-globular-objects/commits/a0b74d2ae49a393fc46041196a49151bc2484e3a"}]}