Updated Home (markdown)
4
Home.md
4
Home.md
@@ -16,7 +16,9 @@ There are then 6 additional tags that can be applied to an issue:
|
||||
|
||||
### 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.
|
||||
We don't currently have a functioning CI setup (the build takes too long for Github Actions and other common free CI providers).
|
||||
|
||||
Right now, patch submitters are responsible for ensuring their PRs build.
|
||||
|
||||
## Supported Versions
|
||||
|
||||
|
||||
Reference in New Issue
Block a user