{"push_id":742313148,"size":1,"distinct_size":1,"ref":"refs/heads/muauto","head":"ab5faa619ba20cc6ca3547bdd13be5999ed4f127","before":"33ed4e5f53f20f0b2d2ca2d6b3395c156b350170","commits":[{"sha":"ab5faa619ba20cc6ca3547bdd13be5999ed4f127","author":{"email":"31fcd73d15b11811d7615ddf60fac7edd9845028@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"stahlbauer"},"message":"Doc for new configuration options\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/muauto@17453 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/ab5faa619ba20cc6ca3547bdd13be5999ed4f127"}]}