{"push_id":572846500,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"e3a85b98fc135481705acbe2404b9255f0ec709d","before":"c8378af1f202e42d782e85496ab9134bcabbfb8a","commits":[{"sha":"e3a85b98fc135481705acbe2404b9255f0ec709d","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#3449 added supportsSerialization() to kr interface","distinct":true,"url":"https://api.github.com/repos/goalhub/krTools/commits/e3a85b98fc135481705acbe2404b9255f0ec709d"}]}