{"push_id":612815682,"size":4,"distinct_size":4,"ref":"refs/heads/sipgrammars","head":"b3c6b847e21d5af5880b5de0af28c9eeec7847f2","before":"fea156421834b2d40e32731140832a5bb5a22559","commits":[{"sha":"4d7ce1d3432d64ea4d85eb46aaee126cb4b515ab","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Work around replacement bugs.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/4d7ce1d3432d64ea4d85eb46aaee126cb4b515ab"},{"sha":"b2e609fe46ef924a250c3d8d7d8310c35aabaffa","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Do NNF and remove top and bottom before CNF.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/b2e609fe46ef924a250c3d8d7d8310c35aabaffa"},{"sha":"07828122b75b2e7f78561b4d562b610b5b6e25dc","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Run scalariform.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/07828122b75b2e7f78561b4d562b610b5b6e25dc"},{"sha":"b3c6b847e21d5af5880b5de0af28c9eeec7847f2","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Reduce number of sip normal forms.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/b3c6b847e21d5af5880b5de0af28c9eeec7847f2"}]}