{"push_id":900394265,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"569331a229e654779c687e483a162005e4d2b6da","before":"600dda108b29d7dac415483acab8809e9606cf02","commits":[{"sha":"97060ce66aa7f6d8fa2db37c588e446fb4cf6e34","author":{"email":"b70ad3e29db0d489cd7495ec1ccd8dbafc19f106@cs.cornell.edu","name":"Steffen Smolka"},"message":"Isolated generally useful changes from probnetkat branch: pretty-printing, FDK interface","distinct":false,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/97060ce66aa7f6d8fa2db37c588e446fb4cf6e34"},{"sha":"29ab539b4be5178f55e6c9a156d59bc1f57653c1","author":{"email":"b70ad3e29db0d489cd7495ec1ccd8dbafc19f106@cs.cornell.edu","name":"Steffen Smolka"},"message":"Merge branch 'master' into some-probnetkat\n\nConflicts:\n\tlib/Frenetic_Fdd.mli\n\tlib/Frenetic_Vlr.ml\n\tlib/Frenetic_Vlr.mli","distinct":false,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/29ab539b4be5178f55e6c9a156d59bc1f57653c1"},{"sha":"569331a229e654779c687e483a162005e4d2b6da","author":{"email":"b70ad3e29db0d489cd7495ec1ccd8dbafc19f106@cs.cornell.edu","name":"Steffen Smolka"},"message":"Merge pull request #457 from frenetic-lang/some-probnetkat\n\nSome useful improvements from probnetkat branch: fdds pretty printing, fed interface","distinct":true,"url":"https://api.github.com/repos/frenetic-lang/frenetic/commits/569331a229e654779c687e483a162005e4d2b6da"}]}