payload: {"push_id":3501539592,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"be3837df1ef3c31e3bf95074a47e6caac47713da","before":"fb19ad107db95cad33b69bd0cce1f7fe8d0c76b0","commits":[{"sha":"e5c2916c23c7d71f5a6018beda91a047550c3600","author":{"name":"Jasper Nalbach","email":"b89cb1e3f93c521b1b24d243899c347397c29b53@posteo.de"},"message":"fix active literal tracking for mcsat","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/e5c2916c23c7d71f5a6018beda91a047550c3600"},{"sha":"947613ee2c2b38da222f28ff532d8178ac78dc32","author":{"name":"Jasper Nalbach","email":"b89cb1e3f93c521b1b24d243899c347397c29b53@posteo.de"},"message":"Merge branch 'master' into mcsat-activeliterals","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/947613ee2c2b38da222f28ff532d8178ac78dc32"},{"sha":"defd5db43cac20628fc7654eae41d58b1bdd5e2d","author":{"name":"Jasper Nalbach","email":"b89cb1e3f93c521b1b24d243899c347397c29b53@posteo.de"},"message":"disable stuff","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/defd5db43cac20628fc7654eae41d58b1bdd5e2d"},{"sha":"be3837df1ef3c31e3bf95074a47e6caac47713da","author":{"name":"Jasper Nalbach","email":"b89cb1e3f93c521b1b24d243899c347397c29b53@posteo.de"},"message":"disable check_active_literal_occurrences","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/be3837df1ef3c31e3bf95074a47e6caac47713da"}]}
other: {"actor":{"display_login":"i2git"}}