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