{"push_id":1181254700,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"387887b4f1bf58eb72eaeca95126b51de5b4b61e","before":"87afe97db6e024f66d605c802dd7bf97933a941d","commits":[{"sha":"387887b4f1bf58eb72eaeca95126b51de5b4b61e","author":{"name":"Marius Greitschus","email":"2ed2f6bb92498e072c7740dfece46943912188bc@informatik.uni-freiburg.de"},"message":"Abstract Interpretation Interval Domain\n\nRemoved redundant output of expression rewriting.","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/387887b4f1bf58eb72eaeca95126b51de5b4b61e"}]}
{"actor":{"display_login":"greitsch"}}