{"push_id":571353426,"size":1,"distinct_size":1,"ref":"refs/heads/demo","head":"53d90ec83aa1c9b5122b7b08f27b9dd5311d6f28","before":"1429309e8495dc095f9d238de7c3129a939edf5c","commits":[{"sha":"53d90ec83aa1c9b5122b7b08f27b9dd5311d6f28","author":{"email":"dc673b0a278a9f0397385f49f958e10d1fd66ee3@cs.cornell.edu","name":"Mark Reitblatt"},"message":"smart(er) constructors","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/netkat-automata/commits/53d90ec83aa1c9b5122b7b08f27b9dd5311d6f28"}]}