{"push_id":1153295747,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ce6232eeb7c259e460e66b33bc6951346c87e790","before":"f4b0568e0a89d84c38a67c5daa7e14c3f72f9a72","commits":[{"sha":"ce6232eeb7c259e460e66b33bc6951346c87e790","author":{"name":"strueber","email":"ac4c6c6c2eac732193afe4e145220a7991d1d37d@mathematik.uni-marburg.de"},"message":"Fixed cross-references (OCL), improved logger, towards correctness check","distinct":true,"url":"https://api.github.com/repos/dstrueber/bigtrafo/commits/ce6232eeb7c259e460e66b33bc6951346c87e790"}]}
{"actor":{"display_login":"dstrueber"}}