{"push_id":712523630,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1a4dabd5ab1bd24d5e5adc853f23b88920e9f01a","before":"74f085b6678a965fa45b610ebb527c8f1b9db537","commits":[{"sha":"1a4dabd5ab1bd24d5e5adc853f23b88920e9f01a","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Allow cuts on alpha-equivalent cut formulas.\n\nFixes #351.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/1a4dabd5ab1bd24d5e5adc853f23b88920e9f01a"}]}