{"push_id":540468340,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"fa60a4551efe833d8126626110eeac6df24cd472","before":"0713d0ab65dbb29487baa6d4f8de434c8f153b91","commits":[{"sha":"fa60a4551efe833d8126626110eeac6df24cd472","author":{"email":"4bf8e684a1c4da51a7eee01c88193c5f4f74bb84@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"stahlbauer-grammatech"},"message":"Include cpa.sh also in the Windows distribution; it can be used in a Cygwin environment.\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15262 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/fa60a4551efe833d8126626110eeac6df24cd472"}]}