add section on merging PRs
7
Home.md
7
Home.md
@@ -12,4 +12,9 @@ There are then 6 additional tags that can be applied to an issue:
|
||||
* `bug` - an issue with something in the repo
|
||||
* `meta` - relates to project management
|
||||
* `help wanted` - anyone knowledgable in this area is requested to assist
|
||||
* `patches welcome` - none of the maintainers are actively looking to fix this and the community is encouraged to provide a patch
|
||||
* `patches welcome` - none of the maintainers are actively looking to fix this and the community is encouraged to provide a patch
|
||||
|
||||
### Merging PRs
|
||||
|
||||
A PR must run through CI and pass successfully. If the change is something that would not be run by the existing CI loop then there should be some notes on how the change was verified to be correct. Consideration should be made to whether the existing CI loop should be enhanced to test this use case to ensure it does not regress. A PR must have an approved review by another maintainer and can be merged in by another maintainer. If two maintainers approve the PR then you are welcome to merge your own PR in.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user