{"push_id":803969528,"size":1,"distinct_size":1,"ref":"refs/heads/feature/pattern-match-automaton","head":"858bbb02b1ce039b4a9fd97f0bb3282ad1809361","before":"b60785ac3c6f2f7cfc87382cc460b2f3508a8d70","commits":[{"sha":"858bbb02b1ce039b4a9fd97f0bb3282ad1809361","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"simplify kseq handling","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/858bbb02b1ce039b4a9fd97f0bb3282ad1809361"}]}