{"push_id":1236912349,"size":1,"distinct_size":1,"ref":"refs/heads/odysseus","head":"c1575b1596dec117c65f7e8d661cf92629939cc5","before":"7af1167188c8d02899dc6d6e5e2bbbe728257846","commits":[{"sha":"c1575b1596dec117c65f7e8d661cf92629939cc5","author":{"name":"dahlberg","email":"a2359320f6fe06ca62284ea704927a9cb1c8b17c@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"introduce FormulaGlobalsInspector\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/odysseus@22564 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/c1575b1596dec117c65f7e8d661cf92629939cc5"}]}
{"actor":{"display_login":"dbeyer-bot"}}