{"push_id":1121597727,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cc0d6487a717ec7386e1d96e06e11d58489bf81f","before":"5f71c28417b339394621ecb9525e84d16a0e0a2b","commits":[{"sha":"cc0d6487a717ec7386e1d96e06e11d58489bf81f","author":{"email":"04b1ccfe45e9c3f2fdfa95ab6c432b4a77f95672@gmail.com","name":"John L. Singleton"},"message":"update","distinct":true,"url":"https://api.github.com/repos/OpenJML/try-openjml/commits/cc0d6487a717ec7386e1d96e06e11d58489bf81f"}]}
{"actor":{"display_login":"jsinglet"}}