mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-03-08 01:24:09 +01:00
CONTRIBUTING: Ofborg is not required to use merge bot
This commit is contained in:
parent
66396918c5
commit
4f5227c3cd
1 changed files with 1 additions and 2 deletions
|
|
@ -332,8 +332,7 @@ The bot will verify the following conditions, refusing to merge otherwise:
|
||||||
- the invoker should be among the package maintainers on the targeted branch;
|
- the invoker should be among the package maintainers on the targeted branch;
|
||||||
- the package should reside in `pkgs/by-name`.
|
- the package should reside in `pkgs/by-name`.
|
||||||
|
|
||||||
Further, nixpkgs-merge-bot will ensure all CI checks and the ofborg builds for Linux have successfully completed before merging the pull request.
|
Required status checks prevent PRs that fail them ("PR / ..." jobs) from being merged. Ofborg is not required by the checks.
|
||||||
Should the checks still be underway, the bot will wait for them to finish before attempting the merge again.
|
|
||||||
|
|
||||||
For other pull requests, please see [I opened a PR, how do I get it merged?](#i-opened-a-pr-how-do-i-get-it-merged).
|
For other pull requests, please see [I opened a PR, how do I get it merged?](#i-opened-a-pr-how-do-i-get-it-merged).
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue