{"push_id":1300088128,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1a134b1af17b28a264346f62329c9395f375e971","before":"7ad16f5c69c394cb91d7f6d6643d8b0d1ceeba55","commits":[{"sha":"1a134b1af17b28a264346f62329c9395f375e971","author":{"name":"Wouter1","email":"d68b7506a8def7b612eb85ac47fe7966b6299871@TUDelft.nl"},"message":"#4047 various changes in human. It now runs 1 humangui and 1 bot\ntogether.","distinct":true,"url":"https://api.github.com/repos/goalhub/agents/commits/1a134b1af17b28a264346f62329c9395f375e971"}]}
{"actor":{"display_login":"Wouter1"}}