src/docs/contributing/reviewing-pull-requests.md
Giving feedback on pull requests, i.e. reviewing them, is a very important contribution too. While it's mostly core contributors doing reviews, don't shy away from a review if you aren't one! Anybody can review pull requests, only core contributors can merge them.
!!! tip Reviews also show up as green blobs under your GitHub profile, did you know that? :)
For general guidelines on reviewing code, see the Dojo Library. Stack Overflow also has some good principles.
If the PR is coming from a fork, working with its code locally won't be as trivial as doing a git checkout on the branch of a core contributor. See GitHub's docs on this.
!!! note Adding labels and otherwise updating a pull request, as well as merging them are only available for core contributors. Otherwise, anybody can review the changes in pull requests and comment on them.
@coderabbitai review comment under any PR.Occasionally, you may find it necessary to cherry-pick a pull request into a release branch after it has been merged into main. To facilitate this process, we've established a dedicated workflow called backport.
To initiate the backporting process, simply leave a comment on the pull request you wish to backport. The comment should contain the following command: /backport to release/1.8. This command serves as a trigger for the backporting workflow, seamlessly bringing the desired pull request into the specified branch.