{"push_id":1060566074,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"9cd77c380f943c9e4b1157ed222fa5c8367df023","before":"7b15b715b81fea487311e0cb9c3556f477146ae8","commits":[{"sha":"0559812b1a117df5f07c1cb667906741e39d0172","author":{"email":"e64bac687bae68fc17b8923beb6089b1fcad796e@gmx.at","name":"Sebastian Zivota"},"message":"Added left, right methods to binary tactics\n\nSigned-off-by: Sebastian Zivota <ouroboros@gmx.at>","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/0559812b1a117df5f07c1cb667906741e39d0172"},{"sha":"7cc9e8e4e2ee4d529cab7195d3e220aa308876b9","author":{"email":"e64bac687bae68fc17b8923beb6089b1fcad796e@gmx.at","name":"Sebastian Zivota"},"message":"Merge branch 'master' of github.com:gapt/gapt","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/7cc9e8e4e2ee4d529cab7195d3e220aa308876b9"},{"sha":"9cd77c380f943c9e4b1157ed222fa5c8367df023","author":{"email":"e64bac687bae68fc17b8923beb6089b1fcad796e@gmx.at","name":"Sebastian Zivota"},"message":"Merge branch 'master' of github.com:gapt/gapt","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/9cd77c380f943c9e4b1157ed222fa5c8367df023"}]}