`emphasize-draft-pr-label` - Support new global PR lists by fregante · Pull Request #9587 · refined-github/refined-github · GitHub
Skip to content

emphasize-draft-pr-label - Support new global PR lists#9587

Merged
fregante merged 2 commits into
mainfrom
emphasis-mine
May 24, 2026
Merged

emphasize-draft-pr-label - Support new global PR lists#9587
fregante merged 2 commits into
mainfrom
emphasis-mine

Conversation

@fregante

Copy link
Copy Markdown
Member

@github-actions github-actions Bot added the bug label May 23, 2026
Comment on lines +8 to +10

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Image

Comment on lines +12 to +16
/* Issue list (repo, global) */
/* https://github.com/refined-github/sandbox/issues?q=+is%3Adraft */
/* https://github.com/pulls/inbox */
/* https://github.com/pulls/authored?q=is%3Adraft */
/* https://github.com/issues?q=is%3Adraft */

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Image Image

Comment on lines 18 to 20

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Image

@fregante fregante merged commit 4efc8f4 into main May 24, 2026
13 checks passed
@fregante fregante deleted the emphasis-mine branch June 1, 2026 06:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

emphasize-draft-pr-label broken on new global PR list and inbox

1 participant