Skip to content

Clarify that setting request-merge-queue needs the user to be in contributors.json #124

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

pulkomandy
Copy link

Pull Request Template

Pull request descriptions should be based on the commit message of the commit (or commits) being reviewed.

Commit Message Template

Clarify that setting request-merge-queue needs the user to be in contributors.json

This is not mentionned anywhere, and it is not immediately obvious how to get permission to set labels.

@pulkomandy
Copy link
Author

Hello,
It seems that adding myself to contributors.json allows me to set labels in pull requests for the main repository, but not here in the documentation repository. Is this intentional? What is the next step of the merging process for the documentation repository?

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