{"push_id":674952383,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b51b82f0ffb389762b21c4a632b19691a3da50b9","before":"5c5032a01ab2059df5cf3e6e3e9519b9a3c98160","commits":[{"sha":"b51b82f0ffb389762b21c4a632b19691a3da50b9","author":{"email":"96835dd8bfa718bd6447ccc87af89ae1675daeca@tvandijk.nl","name":"Tom van Dijk"},"message":"sylvan_relprev and sylvan_relnext now have slightly different semantics with regards to variables not in s,t","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/sylvan/commits/b51b82f0ffb389762b21c4a632b19691a3da50b9"}]}