{"push_id":651055568,"size":2,"distinct_size":0,"ref":"refs/heads/nightly","head":"154900ea2200d56d7f123e235cb7abb8852ced8a","before":"c6ade530b405f72d77a470ca5e52b44443fae106","commits":[{"sha":"ee92372cfeae5b9ec4efb582a1318a46ab682c2e","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"Fix NullPointerException in orientSubstitution, approved by Andrei","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/ee92372cfeae5b9ec4efb582a1318a46ab682c2e"},{"sha":"154900ea2200d56d7f123e235cb7abb8852ced8a","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"Merge pull request #1487 from kframework/fix-nullpointer-orientSubstitution\n\nFix NullPointerException in orientSubstitution, approved by Andrei","distinct":false,"url":"https://api.github.com/repos/kframework/k/commits/154900ea2200d56d7f123e235cb7abb8852ced8a"}]}