{"push_id":672660192,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"59cca799f252c7ada43ce0a3e5c9ec510e7a7b71","before":"969d9ee3ebca956a877440c6a3df160dc162d33d","commits":[{"sha":"59cca799f252c7ada43ce0a3e5c9ec510e7a7b71","author":{"email":"b70ad3e29db0d489cd7495ec1ccd8dbafc19f106@cs.cornell.edu","name":"Steffen Juilf Smolka"},"message":"added framework for nfa_star","distinct":true,"url":"https://api.github.com/repos/smolkaj/coq-netkat/commits/59cca799f252c7ada43ce0a3e5c9ec510e7a7b71"}]}