{"push_id":4349427937,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c58d18d3cb9465bdd5661aaa3c52379d8d95f710","before":"8f4eefebd927d30f38b4dead1c8a982c66dc017f","commits":[{"sha":"c58d18d3cb9465bdd5661aaa3c52379d8d95f710","author":{"name":"Scott Morrison","email":"63f04b4d96235eb042cc46d94f14d241d2a26722@anu.edu.au"},"message":"auto update: Dec 03 2019 at 15:00 UTC","distinct":true,"url":"https://api.github.com/repos/leanprover-community/leanprover-community.github.io/commits/c58d18d3cb9465bdd5661aaa3c52379d8d95f710"}]}
{"actor":{"display_login":"semorrison"}}