gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

maintainers/scripts/get-maintainer-pings-between: drop documentation

Browse Source 
The script was dropped
in commit 44e4c1ba9f
as part of PR #452566,
but the corresponding README entry was left in place.

This change removes that README entry.
This commit is contained in:
Raphael Borun Das Gupta
2025-11-07 15:35:25 +01:00
parent 1dbfbb2d9e
commit 2f46dc62dd
1 changed files with 0 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
maintainers/scripts/README.md
View File

@@ -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`