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