{"push_id":1077272046,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"92c217e62a579ce7b43f5fcb5ae838bd634e6c5c","before":"7652cd3cfca6aff497ccfaf3cc0904ce88c55f1c","commits":[{"sha":"f7c6cdefbb3698d528f21784cac723a40df3fa5b","author":{"email":"b1efbd2487ffa9b89cb95f53a2defca53c54de11@gmail.com","name":"Hendrikto"},"message":"Implement kruisen and reorder code.","distinct":true,"url":"https://api.github.com/repos/jhaasdijk/Coq_Kruispunt/commits/f7c6cdefbb3698d528f21784cac723a40df3fa5b"},{"sha":"92c217e62a579ce7b43f5fcb5ae838bd634e6c5c","author":{"email":"b1efbd2487ffa9b89cb95f53a2defca53c54de11@gmail.com","name":"Hendrikto"},"message":"Merge pull request #58 from Hendrikto/master\n\nImplement kruisen and reorder code.","distinct":true,"url":"https://api.github.com/repos/jhaasdijk/Coq_Kruispunt/commits/92c217e62a579ce7b43f5fcb5ae838bd634e6c5c"}]}