{"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/4931c200f75073a26ba460e3cd7e2016be0185c9","message":"Added Integer (but an Epic bug prevents them compiling properly)","sha":"4931c200f75073a26ba460e3cd7e2016be0185c9"},{"author":{"name":"Edwin Brady","email":"97a02664f35ad0c9cbf2121dceebca2d7373e34a@cs.st-andrews.ac.uk"},"url":"https://api.github.com/repos/edwinb/MiniIdris/commits/f31caf503eb837af658505794cf479b0f4a44de7","message":"unique_hole needs to check whole context","sha":"f31caf503eb837af658505794cf479b0f4a44de7"}],"head":"f31caf503eb837af658505794cf479b0f4a44de7","size":2,"push_id":50145500}