{"push_id":1281587083,"size":1,"distinct_size":1,"ref":"refs/heads/error_invariants","head":"51ef822ebbac9accf835b7c83bde73fbab9fb620","before":"c961764cfccb3654ff09917fd57c7de1306f8af4","commits":[{"sha":"51ef822ebbac9accf835b7c83bde73fbab9fb620","author":{"name":"lemberge","email":"fe8314349d2fca87e8c4f3f94eea7e1b1e0e9c9e@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Add error cause indicators to report and allow selection/deselection of display\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/error_invariants@23089 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/51ef822ebbac9accf835b7c83bde73fbab9fb620"}]}
{"actor":{"display_login":"dbeyer-bot"}}