Skip to content

Detect "Label" issue list as issue list#1232

Merged
fregante merged 1 commit into
masterfrom
label-issue-lists
Mar 30, 2018
Merged

Detect "Label" issue list as issue list#1232
fregante merged 1 commit into
masterfrom
label-issue-lists

Conversation

@fregante
Copy link
Copy Markdown
Member

@fregante fregante commented Mar 30, 2018

This is an issue list, but it's not detected as such:

github.com/sindresorhus/refined-github/labels/change%20request

Also I merged isPRList because it was not currently needed anyway.

@fregante fregante added the bug label Mar 30, 2018
@fregante fregante merged commit bc11082 into master Mar 30, 2018
@fregante fregante deleted the label-issue-lists branch March 30, 2018 07:16
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.

1 participant