{"push_id":539772644,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fcb79eb5161e9d6b33ec46c6989495a8879c7fa5","before":"9837c85961386ec75fb10f1f795cbe340f34a6f3","commits":[{"sha":"fcb79eb5161e9d6b33ec46c6989495a8879c7fa5","author":{"email":"d98a28a4002199a8f7067e479f2f277b1ac3e888@cs.cornell.edu","name":"Matthew Milano"},"message":"code from POPL15 paper","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/netkat-automata/commits/fcb79eb5161e9d6b33ec46c6989495a8879c7fa5"}]}