From 2f46dc62dd3c7d525a42d8fabd957c2196243a43 Mon Sep 17 00:00:00 2001 From: Raphael Borun Das Gupta Date: Fri, 7 Nov 2025 15:35:25 +0100 Subject: [PATCH] maintainers/scripts/get-maintainer-pings-between: drop documentation The script was dropped in commit 44e4c1ba9f7521ab1ffcd04691677c3a306897ef as part of PR #452566, but the corresponding README entry was left in place. This change removes that README entry. --- maintainers/scripts/README.md | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/maintainers/scripts/README.md b/maintainers/scripts/README.md index 6ae6cb851bc4..fd6e8bd21f64 100644 --- a/maintainers/scripts/README.md +++ b/maintainers/scripts/README.md @@ -52,17 +52,6 @@ The maintainer is designated by a `selector` which must be one of: [`maintainer-list.nix`]: ../maintainer-list.nix -### `get-maintainer-pings-between.sh` - -Gets which maintainers would be pinged between two Nixpkgs revisions. -Outputs a JSON object on stdout mapping GitHub usernames to the attributes that they would be getting pinged for. - -Example: - -```sh -maintainers/scripts/get-maintainer-pings-between.sh HEAD^ HEAD -``` - ## Conventions ### `sha-to-sri.py`