{"push_id":647044164,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"40d954a0c81b1495e787d6b2f8616b3a3c19d5c3","before":"821313770714ab1d48730f663517b11827fc3f96","commits":[{"sha":"40d954a0c81b1495e787d6b2f8616b3a3c19d5c3","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3528 added div by infinity test","distinct":true,"url":"https://api.github.com/repos/goalhub/krTools/commits/40d954a0c81b1495e787d6b2f8616b3a3c19d5c3"}]}