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