{"push_id":2645857849,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"4c9a71972804fcf61b66c88502f814b6da5e4615","before":"72a5b22adde2ddbae9914b7fe6ae5658be67d22c","commits":[{"sha":"4c9a71972804fcf61b66c88502f814b6da5e4615","author":{"name":"Alexander Nutz","email":"6bc676bd074ea3f0d473ee5917663576873df1db@informatik.uni-freiburg.de"},"message":"add TreeAutomizer minimization settings","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/4c9a71972804fcf61b66c88502f814b6da5e4615"}]}
{"actor":{"display_login":"alexandernutz"}}