mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-07-19 16:40:32 +03:00
![]() Sometimes it is quite useful to output names instead of GitHub IDs, e.g. for maintainer scripts that show you who you would ping. Add this as an option, but keep the existing default. |
||
---|---|---|
.. | ||
default.nix | ||
generate-step-summary.jq | ||
maintainers.nix | ||
utils.nix |