{"push_id":993751593,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"baadeae9eb112285867d5c2945e6bbb6208b4944","before":"c2191d8dddde16131fe93d1e6790800def93d37b","commits":[{"sha":"baadeae9eb112285867d5c2945e6bbb6208b4944","author":{"email":"efe6e52cdbfd93f5d5bca1245ac1e7d7ec409e52@frapp-ThinkPad-X240.(none)","name":"Franziska"},"message":"added support for linear TRSs without shared vars\nbetween lhss and rhss","distinct":true,"url":"https://api.github.com/repos/franzi1/algorithm/commits/baadeae9eb112285867d5c2945e6bbb6208b4944"}]}