{"push_id":1071747266,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6799e9fba37fc1679cdc1e451953055715b0f377","before":"fc631222f424cfb5291c3ec3a3d8e17ee49ac91f","commits":[{"sha":"c6b35e326ad4d9add079bfeaf8d10269c60c111f","author":{"email":"b1efbd2487ffa9b89cb95f53a2defca53c54de11@gmail.com","name":"Hendrikto"},"message":"Fix groenWorden\n* Choose better parameter.\n* Fix parameter types of magGroenWorden and moetGroenWorden.","distinct":true,"url":"https://api.github.com/repos/jhaasdijk/Coq_Kruispunt/commits/c6b35e326ad4d9add079bfeaf8d10269c60c111f"},{"sha":"6799e9fba37fc1679cdc1e451953055715b0f377","author":{"email":"b1efbd2487ffa9b89cb95f53a2defca53c54de11@gmail.com","name":"Hendrikto"},"message":"Merge pull request #28 from Hendrikto/master\n\nFix groenWorden","distinct":true,"url":"https://api.github.com/repos/jhaasdijk/Coq_Kruispunt/commits/6799e9fba37fc1679cdc1e451953055715b0f377"}]}