{"push_id":616542806,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"7cbc8c2002f70ff5cad74802ff6b1ee5196617e1","before":"9bd736d022077680b7f3ed664a6d43f83eff752d","commits":[{"sha":"7cbc8c2002f70ff5cad74802ff6b1ee5196617e1","author":{"email":"ac0bf0410e278f3401f45c41c52aee879da8699a@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"friedber"},"message":"better usage of super-methods allows to remove some code from OctagonTransfer.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@16408 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/7cbc8c2002f70ff5cad74802ff6b1ee5196617e1"}]}