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