{"push_id":566931071,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"27c9cb9db9c04cfde7faade628526fbe4ff77835","before":"7f3ced0dccf95a7f15f8c10359e35da45b54341d","commits":[{"sha":"27c9cb9db9c04cfde7faade628526fbe4ff77835","author":{"email":"cb049d7cb1f8de34a279ba05b9a8bfc058b4aafd@gmail.com","name":"tyage"},"message":"not_both_true_and_false","distinct":true,"url":"https://api.github.com/repos/tyage/coq-practice/commits/27c9cb9db9c04cfde7faade628526fbe4ff77835"}]}