1
2
Fork
You've already forked userscripts
1

Be case insensitive about repo URL #10

Closed
opened 2026年01月25日 10:58:34 +01:00 by jacksonchen666 · 0 comments

https://github.com/jacksonchen666/pretending-to-like-ai is the same thing, but the userscript doesn't think so. So just lowercase both parts (canonical location and current location)

(Case sensitive repo names kind of sound like a bad idea on its own, so hopefully that isn't implemented on github)

https://github.com/jacksonchen666/pretending-to-like-ai is the same thing, but the userscript doesn't think so. So just lowercase both parts (canonical location and current location) (Case sensitive repo names kind of sound like a bad idea on its own, so hopefully that *isn't* implemented on github)
jacksonchen666 added reference refs/tags/github-ai-use-0.3.1 2026年06月29日 01:46:32 +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
1 participant
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#10
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?