{"push_id":571151236,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"04eb63d12902eb5da5619c461340792202e168c0","before":"9af69ec5030bd8c34ae26bd505cc3993197d75f5","commits":[{"sha":"04eb63d12902eb5da5619c461340792202e168c0","author":{"email":"9f651756260f36800049a58e6c8ab9916063ce0d@gmail.com","name":"Colin Hill"},"message":"Rename Value.h to value.h","distinct":true,"url":"https://api.github.com/repos/colinhect/nominal/commits/04eb63d12902eb5da5619c461340792202e168c0"}]}