{"push_id":1435504002,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5a269a04ce4a3470a9b327442cb2e4ce1611e37c","before":"4038062271a9625ce1f2428340f65f8873d5a724","commits":[{"sha":"5a269a04ce4a3470a9b327442cb2e4ce1611e37c","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"chore(.travis.yml): disable automatic builds in favor of manual deployment","distinct":true,"url":"https://api.github.com/repos/leanprover/programming_in_lean/commits/5a269a04ce4a3470a9b327442cb2e4ce1611e37c"}]}
{"actor":{"display_login":"gebner"}}