{"push_id":886727410,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"028c4bcb01cc6a4fba5f5a20e1aaf2f74179c75c","before":"254132a1707aa679690b63e2d309330a971c1c29","commits":[{"sha":"028c4bcb01cc6a4fba5f5a20e1aaf2f74179c75c","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"fix a problem when using the -config option for the webclient\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18771 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/028c4bcb01cc6a4fba5f5a20e1aaf2f74179c75c"}]}