1
2
Fork
You've already forked userscripts
1

Case-insensitive file names? #15

Closed
opened 2026年02月24日 23:03:45 +01:00 by Pixelo789 · 1 comment

I've noticed repos with a lowercase agents.md file (e.g. nushell). While a lowercase agents.md could be added, it probably would be better to just make file detection case-insensitive, just to be on the safe side.

I've noticed repos with a lowercase `agents.md` file (e.g. [nushell](https://github.com/nushell/nushell/blob/main/agents.md)). While a lowercase `agents.md` could be added, it probably would be better to just make file detection case-insensitive, just to be on the safe side.

Fixed in dev, closing when in main.

Fixed in dev, closing when in main.
jacksonchen666 2026年02月25日 04:01:00 +01:00
jacksonchen666 added reference refs/tags/github-ai-use-0.3.1 2026年06月29日 01:47:17 +02:00
Sign in to join this conversation.
github-ai-use-0.3.1
main
navigation-api
dialog-box
dev
ai-files-gitignore-check
github-ai-use-0.4.0
github-ai-use-0.1
github-ai-use-0.1.1
github-ai-use-0.1.2
github-ai-use-0.1.3
github-ai-use-0.1.4
github-ai-use-0.1.5
github-ai-use-0.1.6
github-ai-use-0.1.7
github-ai-use-0.1.8
github-ai-use-0.1.9
github-ai-use-0.1.10
github-ai-use-0.2.0
github-ai-use-0.3.0
github-ai-use-0.3.1
github-ai-use-0.3.2
github-ai-use-0.3.3
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
jacksonchen666/userscripts#15
Reference in a new issue
jacksonchen666/userscripts
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?