{"push_id":1145527481,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"7d446598411d611bff785d4839b6eeb9d6947bae","before":"cf20f3f6293f7c62b29ff8bb5489be907c0cdf20","commits":[{"sha":"7d446598411d611bff785d4839b6eeb9d6947bae","author":{"name":"Adrien Champion","email":"e03d82b84299fc733ed17d66c4f25d37564efbf6@email.com"},"message":"Ban unguarded pre-s from contracts","distinct":true,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/7d446598411d611bff785d4839b6eeb9d6947bae"}]}
{"actor":{"display_login":"AdrienChampion"}}