{"push_id":1360179469,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"ceddc97e26dd14cd43fa73dc8267039fc65c7e51","before":"dc346cd825661f9c4845636c9d5fe47044b72fcd","commits":[{"sha":"ceddc97e26dd14cd43fa73dc8267039fc65c7e51","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"chore(lean3.js): update to 20161016","distinct":true,"url":"https://api.github.com/repos/leanprover/lean.js/commits/ceddc97e26dd14cd43fa73dc8267039fc65c7e51"}]}
{"actor":{"display_login":"gebner"}}