{"push_id":590748399,"size":2,"distinct_size":2,"ref":"refs/heads/parser","head":"72a0b3d698f2e66f0bceff052c7690d8c105dafb","before":"49697ea750b470adf2d2a21e673ff838e81f10a4","commits":[{"sha":"4d5c54df8f5e74907a2134e1122e067719d466b3","author":{"email":"d47612b57af56d3ee11e79de8cec40a3f4f101cc@hotmail.de","name":"julian mueller"},"message":"parser start","distinct":true,"url":"https://api.github.com/repos/julmue/proofAssistant/commits/4d5c54df8f5e74907a2134e1122e067719d466b3"},{"sha":"72a0b3d698f2e66f0bceff052c7690d8c105dafb","author":{"email":"d47612b57af56d3ee11e79de8cec40a3f4f101cc@hotmail.de","name":"julian mueller"},"message":"first parser example","distinct":true,"url":"https://api.github.com/repos/julmue/proofAssistant/commits/72a0b3d698f2e66f0bceff052c7690d8c105dafb"}]}