{"push_id":963293055,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cd8f88957e6c93ff53942820252a7d11741e4ad7","before":"664e6f7062d0911e60f7e2605a003ef7bc1af563","commits":[{"sha":"cd8f88957e6c93ff53942820252a7d11741e4ad7","author":{"email":"482fbdf656c5a7b9f6d7767c7ead2574b914aaff@liu.ms","name":"Minsheng Liu"},"message":"4.13, 14, 15","distinct":true,"url":"https://api.github.com/repos/notcome/ebbinghaus-mathematical-logic/commits/cd8f88957e6c93ff53942820252a7d11741e4ad7"}]}