{"push_id":1265349996,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"f494a55bf47b5dcd73bc9b2d488877a4be882ab3","before":"27787fc4c09588a3a277ec97cf138fde12842ca5","commits":[{"sha":"f494a55bf47b5dcd73bc9b2d488877a4be882ab3","author":{"name":"schillic","email":"53359244fc16f901500b885500f30dda21acc445@informatik.uni-freiburg.de"},"message":"moved StateFactory to base package","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/f494a55bf47b5dcd73bc9b2d488877a4be882ab3"}]}
{"actor":{"display_login":"schillic"}}