mirror of
https://github.com/qTox/qTox.git
synced 2024-03-22 14:00:36 +08:00
docs(MAINTAINING): add info about pull request "expiration date"
Also removed obsolete info regarding PRs.
This commit is contained in:
parent
a5d2c573dd
commit
fd3b7f9450
|
@ -72,13 +72,13 @@ git config --global alias.logs 'log --show-signature'
|
||||||
the PR before merging.
|
the PR before merging.
|
||||||
- with trivial changes, like fixing typos or something along those lines,
|
- with trivial changes, like fixing typos or something along those lines,
|
||||||
feel free to merge right away.
|
feel free to merge right away.
|
||||||
- if you're about to merge PR, assign yourself to it.
|
|
||||||
- if you decide that PR actually isn't to be (yet) merged, de-assign yourself.
|
|
||||||
- if PR requires some changes, comment what parts need to be adjusted, and
|
- if PR requires some changes, comment what parts need to be adjusted, and
|
||||||
assign the `PR-needs-changes` label – after requested changes are done,
|
assign the `PR-needs-changes` label – after requested changes are done,
|
||||||
remove the label.
|
remove the label.
|
||||||
- if PR doesn't apply properly on top of current master (when using
|
- if PR doesn't apply properly on top of current master (when using
|
||||||
[`merge-pr.sh`] script), request a rebase and tag PR with `PR-needs-rebase`.
|
[`merge-pr.sh`] script), request a rebase and tag PR with `PR-needs-rebase`.
|
||||||
|
- if a PR requires changes but there has been no activity from the PR submitter
|
||||||
|
for more than 2 months, close the PR.
|
||||||
|
|
||||||
|
|
||||||
# Issues
|
# Issues
|
||||||
|
|
Loading…
Reference in New Issue
Block a user