Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't wrap links with git.io #17

Closed
samueldr opened this issue Jan 1, 2021 · 4 comments
Closed

Don't wrap links with git.io #17

samueldr opened this issue Jan 1, 2021 · 4 comments

Comments

@samueldr
Copy link
Owner

samueldr commented Jan 1, 2021

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.

@andir
Copy link

andir commented Jan 1, 2021

We can always use nixpkgs.dev/issues/ etc.. no?
I don't know if the bot also does link to specific commits or just issues and PRs.

@andir
Copy link

andir commented Jan 1, 2021

Oh, apparently it stopped working.. @zimbatm did you discontinue nixpkgs.dev?

@samueldr
Copy link
Owner Author

samueldr commented Jan 1, 2021

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.

@zimbatm
Copy link

zimbatm commented Jan 1, 2021

@andir the right domain is nixpkgs.org

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants