Closed samueldr closed 3 years ago
We can always use nixpkgs.dev/issues/
Oh, apparently it stopped working.. @zimbatm did you discontinue nixpkgs.dev?
This is used for more than Nixpkgs outright. It's for the whole org, plus I recall it might be in use in non-NixOS channels.
@andir the right domain is nixpkgs.org
As asked:
Comments?
This will remove the (somewhat) unneeded indirection, at the cost of bulking-up the appearance of the messages with long links.
EDIT: There are links to commits and PRs. These are only the events from GitHub.