Nick Lewis

This seems to change the model of `flox push` from "move your environment to FloxHub" to "copy your environment to FloxHub". That removes a barrier to getting environments on FloxHub,...

Oops sorry, those are links to a private repository. The goal is for `flox init` to create a `.flox/env/.gitattributes` with this content: ```gitattributes manifest.lock linguist-generated=true linguist-language=JSON ``` That tells GitHub...

I want to note that case-insensitive (or supporting mixed case in general) is a rather demanding requirement, whereas extending the range of supported characters is straightforward. There will definitely be...