1
2
Fork
You've already forked userscripts
1

Searching PRs as a check? #12

Open
opened 2026年02月24日 02:25:25 +01:00 by jacksonchen666 · 0 comments

is:pr state:merged "AI" may be interesting, along with other key words ("claude", "cursor" (too general), etc.). Although other comments in a PR would also get it caught up.

Human language strongly involved, so checking whether AI was used is manual. I'd say this is a secondary kind of check, notified in an unobtrusive way (non-modal <dialog> on the top right?)

This is the most interesting with PRs created by members of an organization or owners of repositories. Although members could be hidden from organizations and I don't know if it looks like a normal unprivileged person or whatever.

`is:pr state:merged "AI"` may be interesting, along with other key words ("claude", "cursor" (too general), etc.). Although other comments in a PR would also get it caught up. Human language strongly involved, so checking whether AI was used is manual. I'd say this is a secondary kind of check, notified in an unobtrusive way (non-modal `<dialog>` on the top right?) This is the most interesting with PRs created by members of an organization or owners of repositories. Although members could be hidden from organizations and I don't know if it looks like a normal unprivileged person or whatever.
Sign in to join this conversation.
No Branch/Tag specified
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#12
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?