Make repository names case insensitive

w3c / ash-nazg

One interface to find all group contributors and in IPR bind them

https://labs.w3.org/repo-manager/

MIT License

22 stars 24 forks source link

Make repository names case insensitive #230

Open deniak opened 2 years ago

deniak commented 2 years ago

Repository's names are case-insensitive and should be treated as such by the repo manager. Currently, the repo manager will not find the repository after a {lower,upper}case renamin.

see https://github.com/w3c/ash-nazg/issues/229