{"push_id":1336299990,"size":1,"distinct_size":1,"ref":"refs/heads/odysseus","head":"2097b409a031ee473bbbe571d47ee8cc758d1c3b","before":"157c794f4d2e034fdb14d933e3c468cbd52eb308","commits":[{"sha":"2097b409a031ee473bbbe571d47ee8cc758d1c3b","author":{"name":"dahlberg","email":"a2359320f6fe06ca62284ea704927a9cb1c8b17c@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Propertyscope: prints the preferred scope reason to help result selection\n\nIt preferres ABS_FORMULA_VAR_CLASSIFICATION if it finds such a scope,\nfalls back to AUTOMATON_MATCH or else prints <unknown>\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/odysseus@23325 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/2097b409a031ee473bbbe571d47ee8cc758d1c3b"}]}
{"actor":{"display_login":"dbeyer-bot"}}