{"push_id":1543395368,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f16d903e4f7dfd6b621f56c5bfee34a5bf3d075f","before":"d4252d971e239c4594a53fc961a5edfe8172482d","commits":[{"sha":"0af5721a91627fea70a201c33f9f8d66fc8ad798","author":{"name":"Tom","email":"e6f141e926ea5f93f4710ac6df4d1bfa36e90518@gmail.com"},"message":"Fixed Sort Theorem","distinct":true,"url":"https://api.github.com/repos/tdejong4/tt-coq/commits/0af5721a91627fea70a201c33f9f8d66fc8ad798"},{"sha":"f16d903e4f7dfd6b621f56c5bfee34a5bf3d075f","author":{"name":"Tom","email":"e6f141e926ea5f93f4710ac6df4d1bfa36e90518@gmail.com"},"message":"Completed exercise sheet 6","distinct":true,"url":"https://api.github.com/repos/tdejong4/tt-coq/commits/f16d903e4f7dfd6b621f56c5bfee34a5bf3d075f"}]}
{"actor":{"display_login":"tdejong4"}}