{"push_id":1330508124,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"b14425b1acf6b576a6d2faef4d1b833608fcc82f","before":"176e9b0511100dfa5eebfc289920c5a7eef2a704","commits":[{"sha":"b14425b1acf6b576a6d2faef4d1b833608fcc82f","author":{"name":"schillic","email":"53359244fc16f901500b885500f30dda21acc445@informatik.uni-freiburg.de"},"message":"finite-word language equivalence check for old direct simulation minimization","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/b14425b1acf6b576a6d2faef4d1b833608fcc82f"}]}
{"actor":{"display_login":"schillic"}}