{"push_id":2789696460,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"9c35aee64c071513e863449976e6fb06ee213eeb","before":"f7c6a14aaae0086f10ff9827b5ac96567068faf3","commits":[{"sha":"9c35aee64c071513e863449976e6fb06ee213eeb","author":{"name":"picrin","email":"777ccbb8186edd9137fba6c6f4d3503069a8610c"},"message":"Update Sat 11 Aug 06:09:49 BST 2018","distinct":true,"url":"https://api.github.com/repos/project-grasp/lean-workshops/commits/9c35aee64c071513e863449976e6fb06ee213eeb"}]}
{"actor":{"display_login":"picrin"}}