{"push_id":790492714,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"49c20ee2b5cec344797d737cc31e6290a8c66c5a","before":"9cf6241807d0685ae2d94963f70f4cc0db141bab","commits":[{"sha":"49c20ee2b5cec344797d737cc31e6290a8c66c5a","author":{"email":"d5e6132eb39a2aebaf70192a6e0492aa2d6b5f44@gmx.net","name":"Georgi Rybakov"},"message":"check_proof() in logics.male.ProofState","distinct":true,"url":"https://api.github.com/repos/totesPferd/bagatellen/commits/49c20ee2b5cec344797d737cc31e6290a8c66c5a"}]}