{"push_id":671669522,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e20013d01b9a42ad33f4dc5eacd7408594fc7b3c","before":"791185588c186e1f5a361fb213791e14219693f3","commits":[{"sha":"e20013d01b9a42ad33f4dc5eacd7408594fc7b3c","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@livoris.de","name":"Christopher Schuster"},"message":"started work on operational semantics","distinct":true,"url":"https://api.github.com/repos/levjj/ni-sched/commits/e20013d01b9a42ad33f4dc5eacd7408594fc7b3c"}]}