Skip to content

Conversation

k----n
Copy link
Contributor

@k----n k----n commented Feb 3, 2022

No description provided.

@vchrombie
Copy link
Member

From what I remember, github itself is an alias to github:issue. The default github configuration maps to the issue configuration. So, I don't think this change is necessary.

Maybe @zhquan can put it in a better way, WDYT about the PR?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants