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