payload: {"push_id":4255961478,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d8393c7b8dfbb322208d4827248928d79a378786","before":"11f32f764f2df3e2c9f7e8a9e0ddd69b6089f4a9","commits":[{"sha":"d8393c7b8dfbb322208d4827248928d79a378786","author":{"name":"Scott Morrison","email":"63f04b4d96235eb042cc46d94f14d241d2a26722@anu.edu.au"},"message":"auto update: Nov 10 2019 at 14:00 UTC","distinct":true,"url":"https://api.github.com/repos/leanprover-community/leanprover-community.github.io/commits/d8393c7b8dfbb322208d4827248928d79a378786"}]}
other: {"actor":{"display_login":"semorrison"}}