{"push_id":866046514,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"20621e98221f16c9568adb9c82bd5caa6e734a3a","before":"69e63c0449cbe6880fbb77cf4d82efe66f2e3a92","commits":[{"sha":"20621e98221f16c9568adb9c82bd5caa6e734a3a","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"FileSystemPath must not be used directly.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18438 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/20621e98221f16c9568adb9c82bd5caa6e734a3a"}]}