{"push_id":1011284294,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d5e251a4a474a42bbfab6b45ca3b0c0cd52d4912","before":"f3c66612513ff782dbaa19da8c86fbe91a5f94ce","commits":[{"sha":"d5e251a4a474a42bbfab6b45ca3b0c0cd52d4912","author":{"email":"3b9fe122e5c8555e601142a6c98bf64ecc239381@jacobs-university.de","name":"Michael Kohlhase"},"message":"small tweak","distinct":true,"url":"https://api.github.com/repos/Jazzpirate/AlignmentPaper/commits/d5e251a4a474a42bbfab6b45ca3b0c0cd52d4912"}]}