{"commits":[{"author":{"name":"Gereon","email":"f1c3082c9def1c7cee43850c0310caee858f0e10@rwth-aachen.de"},"sha":"06263c52552917ddd24218f72fa19219d913a41c","message":"fixed setminus <-> /","url":"https://api.github.com/repos/nafur/optiB/commits/06263c52552917ddd24218f72fa19219d913a41c"},{"author":{"name":"Gereon","email":"f1c3082c9def1c7cee43850c0310caee858f0e10@rwth-aachen.de"},"sha":"86ef73256fa8c004224ec7c92d1d8b622c0510be","message":"Merge branch 'master' of github.com:nafur/optiB","url":"https://api.github.com/repos/nafur/optiB/commits/86ef73256fa8c004224ec7c92d1d8b622c0510be"}],"ref":"refs/heads/master","head":"86ef73256fa8c004224ec7c92d1d8b622c0510be","push_id":51389695,"size":2}