{"push_id":1254539038,"size":1,"distinct_size":1,"ref":"refs/heads/env-refactor","head":"0d4b0607ffe7d979e4c46029127ab68d14e14e09","before":"72b37cd7aa6ced248762192b7b6171d0fe8bf29b","commits":[{"sha":"0d4b0607ffe7d979e4c46029127ab68d14e14e09","author":{"name":"Scott Owens","email":"ea395d97a25a583bc0310e7649efb139391b6777@kent.ac.uk"},"message":"Rename \"environmantTheory\" to \"namespaceTheory\"\n\nAnd change the names of the constants.\n\nFor #126","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/0d4b0607ffe7d979e4c46029127ab68d14e14e09"}]}
{"actor":{"display_login":"SOwens"}}