{"push_id":3035428366,"size":1,"distinct_size":1,"ref":"refs/heads/master-8.8","head":"0bc9b80811179618033ad751e3e7d8059ea36780","before":"1c6d781f7f2d88c33df41a290420804bbbfc9bc9","commits":[{"sha":"0bc9b80811179618033ad751e3e7d8059ea36780","author":{"name":"beta","email":"a295e0bdde1938d1fbfd343e5a3e569e868e1465@mpi-sws.org"},"message":"added exception for when the unification strategy is not a constructor","distinct":true,"url":"https://api.github.com/repos/Mtac2/Mtac2/commits/0bc9b80811179618033ad751e3e7d8059ea36780"}]}
{"actor":{"display_login":"beta-ziliani"}}