{"push_id":571148567,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6b0b4bc3d3765c02874ae0f521b6b3d5d8e24a3e","before":"9034648e47c7b2c5b1936425ada3464d349cbcd5","commits":[{"sha":"6b0b4bc3d3765c02874ae0f521b6b3d5d8e24a3e","author":{"email":"9f651756260f36800049a58e6c8ab9916063ce0d@gmail.com","name":"Colin Hill"},"message":"Rename State.h to state.h","distinct":true,"url":"https://api.github.com/repos/colinhect/nominal/commits/6b0b4bc3d3765c02874ae0f521b6b3d5d8e24a3e"}]}