{"push_id":1261793626,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"01267bb2ef5d510b6af4cd05fbe971a08b869a09","before":"432b4dbb73cf0c91a689efa489da59a19ec17cdc","commits":[{"sha":"01267bb2ef5d510b6af4cd05fbe971a08b869a09","author":{"name":"schillic","email":"53359244fc16f901500b885500f30dda21acc445@informatik.uni-freiburg.de"},"message":"documentation/cc fixes","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/01267bb2ef5d510b6af4cd05fbe971a08b869a09"}]}
{"actor":{"display_login":"schillic"}}