Skip to content

Conversation

@pulkomandy
Copy link
Contributor

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
Contributor 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?

@kmonsen kmonsen merged commit a760b22 into WebKit:main Jun 12, 2025
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.

3 participants