diff --git a/doc/reviewing-contributions.xml b/doc/reviewing-contributions.xml index 0bf3dc9e9f8..5618567e385 100644 --- a/doc/reviewing-contributions.xml +++ b/doc/reviewing-contributions.xml @@ -583,7 +583,7 @@ $ nix-shell -p nox --run "nox-review -k pr PRNUMBER" pull requests fitting this category. -
+
Merging pull requests