{"push_id":2141255225,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"14c213e8637c0076a29492e0a96090da4e08f6e3","before":"c9c5d256cdd4a5f5f25f7ae4cf54c8b764899af3","commits":[{"sha":"14c213e8637c0076a29492e0a96090da4e08f6e3","author":{"name":"Bot Botson","email":"e1aaaef162b1ac3dd6142a7cbc67b83e6a0a6edd@bot.bot"},"message":"nightly build at 96f8ecb","distinct":true,"url":"https://api.github.com/repos/leanprover/lean-nightly/commits/14c213e8637c0076a29492e0a96090da4e08f6e3"}]}
{"actor":{"display_login":"Kha"}}