{"push_id":2718095434,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"35ddb9423512dedefef700229102f82233fa117d","before":"5f20ac149abcdc7e2c066465119cce24903490b0","commits":[{"sha":"35ddb9423512dedefef700229102f82233fa117d","author":{"name":"Maximilian Junker","email":"90c516951da901ff5f5927c5b316e8edff3fb3af@in.tum.de"},"message":"fix build dependencies","distinct":true,"url":"https://api.github.com/repos/junkerm/specmate/commits/35ddb9423512dedefef700229102f82233fa117d"}]}
{"actor":{"display_login":"junkerm"}}