diff options
| author | Fritz Otlinghaus <github@otlingha.us> | 2024-04-20 15:29:22 +0200 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-05-22 19:08:20 +0200 |
| commit | 299c0dad477f0102bcbe20448618a3a65b9b08d1 (patch) | |
| tree | c13a0e045398d6645b4301e86b1e65f3ee748440 /CONTRIBUTING.md | |
| parent | wasmtime: 20.0.2 -> 21.0.0 (#313230) (diff) | |
| download | nixpkgs-299c0dad477f0102bcbe20448618a3a65b9b08d1.tar.gz | |
CONTRIBUTING.md: Add nixpkgs-merge-bot usage paragraph
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3623246f6871..23a826d9a7b7 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -330,7 +330,14 @@ Container system, boot system and library changes are some examples of the pull ## How to merge pull requests [pr-merge]: #how-to-merge-pull-requests -The *Nixpkgs committers* are people who have been given +To streamline automated updates, leverage the nixpkgs-merge-bot by simply commenting `@NixOS/nixpkgs-merge-bot merge`. The bot will verify if the following conditions are met, refusing to merge otherwise: + +- the commenter that issued the command should be among the package maintainers; +- the package should reside in `pkgs/by-name`. + +Further, nixpkgs-merge-bot will ensure all ofBorg checks (except the Darwin-related ones) are successfully completed before merging the pull request. Should the checks still be underway, the bot patiently waits for ofBorg to finish before attempting the merge again. + +For other pull requests, the *Nixpkgs committers* are people who have been given permission to merge. It is possible for community members that have enough knowledge and experience on a special topic to contribute by merging pull requests. |