{"push_id":838136302,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1360fe39de5eb98ae60a83a3732e0df45b3096ee","before":"2f24c15ab69b190fab758b19695f718f252e0fe7","commits":[{"sha":"0a583c83995cf7c7e81ed3c92da270593feed6b7","author":{"email":"b30599bd7368b397b1221937b4f9f93c7ae8dfa8@gmx.de","name":"Drahflow"},"message":"expand + some fix for proof re-use","distinct":true,"url":"https://api.github.com/repos/Drahflow/Igor/commits/0a583c83995cf7c7e81ed3c92da270593feed6b7"},{"sha":"1360fe39de5eb98ae60a83a3732e0df45b3096ee","author":{"email":"b30599bd7368b397b1221937b4f9f93c7ae8dfa8@gmx.de","name":"Drahflow"},"message":"More general rewriting","distinct":true,"url":"https://api.github.com/repos/Drahflow/Igor/commits/1360fe39de5eb98ae60a83a3732e0df45b3096ee"}]}