{"push_id":546267025,"size":1,"distinct_size":1,"ref":"refs/heads/verified_instances","head":"452bc296bfa832b4f02df9f530691e5da7b28ae0","before":"67e31ae5805d65a173f2c4fee06a49193f601a68","commits":[{"sha":"452bc296bfa832b4f02df9f530691e5da7b28ae0","author":{"email":"e2cdee8568bbc28a03dfad20b1bb8cae0bb3d43a@ilstu.edu","name":"JP Smith"},"message":"allowed for unification","distinct":true,"url":"https://api.github.com/repos/japesinator/Idris-dev/commits/452bc296bfa832b4f02df9f530691e5da7b28ae0"}]}