{"ref":"refs/heads/master","commits":[{"author":{"name":"Edwin Brady","email":"97a02664f35ad0c9cbf2121dceebca2d7373e34a@cs.st-andrews.ac.uk"},"url":"https://api.github.com/repos/edwinb/MiniIdris/commits/df49a2a03e36293d19acaf66736bd27c12c59787","message":"with fix","sha":"df49a2a03e36293d19acaf66736bd27c12c59787"}],"head":"df49a2a03e36293d19acaf66736bd27c12c59787","size":1,"push_id":50443585}