Hugging Face has case-sensitive tags, but those from GitHub are always lowercase. This means the tag selection (dropdown) shows multiples of the same tag, e.g., "clip" and "CLIP" (two results selected below), "eda" and "EDA".
This doesn't seem to impact the keyword search feature, e.g., both "eda" and "EDA" have the same search results:
The question is, should we set the tags to be case-insensitive as well to avoid duplication or otherwise unexpected exclusions? I would lean toward yes.
Hugging Face has case-sensitive tags, but those from GitHub are always lowercase. This means the tag selection (dropdown) shows multiples of the same tag, e.g., "clip" and "CLIP" (two results selected below), "eda" and "EDA".
This doesn't seem to impact the keyword search feature, e.g., both "eda" and "EDA" have the same search results:
The question is, should we set the tags to be case-insensitive as well to avoid duplication or otherwise unexpected exclusions? I would lean toward yes.