{"push_id":1414693316,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"7774858fabfe6a34d425da07d599483fb7ef0613","before":"f9d3aad746e24dfdaeb14ca101b4103d7f85498f","commits":[{"sha":"7774858fabfe6a34d425da07d599483fb7ef0613","author":{"name":"dangl","email":"83a36e38973b9eb419e819842eddc03248d6b64f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Add an option 'spec.strictChecking' to enforce checking that required fields are present. Not all checks are implemented yet. This option is unrelated to the recently removed option with similar name 'spec.strictMatching'.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@23648 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/7774858fabfe6a34d425da07d599483fb7ef0613"}]}
{"actor":{"display_login":"dbeyer-bot"}}