{"push_id":777599938,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"86819f5c117b67ac18689549fe14d8384da5770e","before":"94ef58f6e463466b3e08aaa33d8df55e6f0f7c69","commits":[{"sha":"86819f5c117b67ac18689549fe14d8384da5770e","author":{"email":"00c86840dfbb5a3d2407d51cf82a2ec4a934cdf6@yahoo.com","name":"Matěj Grabovský"},"message":"Better copyright declaration","distinct":true,"url":"https://api.github.com/repos/mgrabovsky/coq-learning/commits/86819f5c117b67ac18689549fe14d8384da5770e"}]}