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: CONTRIBUTING.md
+4-2Lines changed: 4 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -98,8 +98,10 @@ Basic rules:
98
98
99
99
### Before merging
100
100
101
-
* Pull Requests must be open for at least 48 hours unless changes include errata fixes, infrastructure maintenance, or tests.
102
-
* There must be no objections after 48 hours.
101
+
* Pull Requests must be open for at least 48 hours.
102
+
* Pull reuqests might be immediately merged if they contain critical bug fixes, short erratas (e.g. typos from previous PRs) or any critical change that is considered a "showstopper" for the operation of the website.
103
+
* These kind of PRs should only be done by existing collaborators that have write-access and/or signed-off by administrators/maintainers.
104
+
* There must be no objections after a 48 hour period
103
105
* Tests must be included in Pull Requests for new features or bug fixes. If any test(s) are failing, you are responsible for fixing them.
104
106
105
107
Each contribution is accepted only if there is no objection to it by a collaborator. During the review, collaborators may request that a specific contributor who is an expert in a particular area give an "LGTM" before the PR can be merged.
0 commit comments