{"push_id":3359779955,"size":1,"distinct_size":1,"ref":"refs/heads/fix/double-defs","head":"2b3654b6782102bd78cd40d0042e25f3e5d90629","before":"20b9b6f0bee54e9f6b424749e1ab33c7b108106c","commits":[{"sha":"2b3654b6782102bd78cd40d0042e25f3e5d90629","author":{"name":"Guillaume Martres","email":"f92fe4c0c81dbf990778df2217f519c7756e932f@ubuntu.com"},"message":"wip: fix override check","distinct":true,"url":"https://api.github.com/repos/smarter/dotty/commits/2b3654b6782102bd78cd40d0042e25f3e5d90629"}]}
{"actor":{"display_login":"smarter"}}