You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: maintainer_guidelines.md
+15-5Lines changed: 15 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -6,13 +6,23 @@ Here are a few tips for repository maintainers.
6
6
7
7
* Stay on top of your pull requests. PRs that languish for too long can become difficult to merge.
8
8
* Work from your own fork. As you are making contributions to the project, you should be working from your own fork just as outside contributors do. This keeps the branches in github to a minimum and reduces unnecessary CI runs.
9
-
* Try to proactively label issues with backport labels if it's obvious that a change should be backported to previous releases.
10
-
*When landing pull requests, if there is more than one commit, try to squash into a single commit. Usually this can just be done with the GitHub UI when merging the PR. Use "Squash and merge".
11
-
* Triage issues once in a while in order to keep the repository alive. During the triage:
9
+
* Try to proactively label issues and pull requests with labels
10
+
*Actively review pull requests as the are submitted
11
+
* Triage issues once in a while in order to keep the repository alive.
12
12
* If some issues are stale for too long because they are no longer valid/relevant or because the discussion reached no significant action items to perform, close them and invite the users to reopen if they need it.
13
-
* If some PRs are no longer valid but still needed, ask the user to rebase them
13
+
* If some PRs are no longer valid due to conflicts, but the PR is still needed, ask the contributor to rebase their PR
14
14
* If some issues and PRs are still relevant, use labels to help organize tasks
15
-
* If you find an issue that you want to create a fix for and submit a pull request, be sure to assign it to yourself so that others maintainers don't start working on it at the same time.
15
+
* If you find an issue that you want to create a pull request for, be sure to assign it to yourself so that other maintainers don't start working on it at the same time.
16
+
17
+
## Landing Pull Requests
18
+
19
+
When landing pull requests, be sure to check the first line uses an appropriate commit message prefix (e.g. docs, feat, lib, etc). If there is more than one commit, try to squash into a single commit. Usually this can just be done with the GitHub UI when merging the PR. Use "Squash and merge". To help ensure that everyone in the community has an opportunity to review and comment on pull requests, it's often good to have some time after a pull request has been submitted, and before it has landed. Some guidelines here about approvals and timing.
20
+
21
+
* No pull request may land without passing all automated checks
22
+
* All pull requests require at least one approval from a maintainer before landing
23
+
* A pull request author may approve their own PR, but will need an additional approval to land it
24
+
* If a maintainer has submitted a pull request and it has not received approval from at least one other maintainer, it can be landed after 72 hours
25
+
* If a pull request has both approvals and requested changes, it can't be landed until those requested changes are resolved
0 commit comments