{"push_id":1071715153,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b918d1d04a16b5bc034d5f1ffc2539b0fab3ef90","before":"a4aaa817821748489e0fb07a975f7a70444afb83","commits":[{"sha":"b918d1d04a16b5bc034d5f1ffc2539b0fab3ef90","author":{"email":"b1efbd2487ffa9b89cb95f53a2defca53c54de11@gmail.com","name":"Hendrikto"},"message":"Fix parameter of groenWorden.","distinct":true,"url":"https://api.github.com/repos/Hendrikto/Coq_Kruispunt/commits/b918d1d04a16b5bc034d5f1ffc2539b0fab3ef90"}]}