{"push_id":1012662366,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"515a93aac76d24faec7c43462e540e68d6310347","before":"8bb43740fec4b6d6c58d19420418fd6b5478f5c6","commits":[{"sha":"515a93aac76d24faec7c43462e540e68d6310347","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3830 added tests for freeVar function","distinct":true,"url":"https://api.github.com/repos/goalhub/krTools/commits/515a93aac76d24faec7c43462e540e68d6310347"}]}