{"push_id":1076116281,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5aa5fd1e6d5747264819c0337f8bee4c3a64d287","before":"009a12f6b6082e47d2ea5472e2f17b8374386c71","commits":[{"sha":"5aa5fd1e6d5747264819c0337f8bee4c3a64d287","author":{"email":"ae7e2c7e804b958a1b85c66281fc4221d4aa0413@hotmail.com","name":"jhaasdijk"},"message":"Remove unnecessary white lines at kruisenRechts","distinct":true,"url":"https://api.github.com/repos/jhaasdijk/Coq_Kruispunt/commits/5aa5fd1e6d5747264819c0337f8bee4c3a64d287"}]}