{"push_id":1588725320,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c0c2f5bafdd83a6cf9bd623ab78bd57f6ceeaf0d","before":"57687e541946abec2ace6b4eeb28e45387631d6b","commits":[{"sha":"c0c2f5bafdd83a6cf9bd623ab78bd57f6ceeaf0d","author":{"name":"Stefan Niculae","email":"39303a1ec19c4c765f8a6e0994819e90578b906d@users.noreply.github.com"},"message":"Update 2017-03-02-lab1.md","distinct":true,"url":"https://api.github.com/repos/stefan1niculae/formal-labs/commits/c0c2f5bafdd83a6cf9bd623ab78bd57f6ceeaf0d"}]}
{"actor":{"display_login":"stefan1niculae"}}