Repository navigation
Distribute the GPG key for the Debian repository directly from a file instead of from a keyserver #3513
Description
Activity
Serve the GPG key directly from a URL on the GitHub CLI domain, such as https://cli.github.com/apt-key.gpg.
I also don't know much about keyservers, but seeing how many users have a problem using
apt-add-repositoryas per our install instructions, including the fact that it's not guaranteed to exist on a specific distro, I would much rather go with the route that you are suggesting to simplify the setup and to have just one set of copy-pasteable instructions for everyone.Ref. #2893 #3441 (comment)
Reacted by Hunter WittenbornI'm +1 on this.
Describe the feature or problem you’d like to solve
The installation instructions currently have the keys distributed from a keyserver, instead of being distributed from a key file directly(more info below).
I'm not positive on how keyservers all work, but I think that it's theoretically possible to modify the GPG key on one, and still have it download without complaint(again though, I don't really know much on how they work).
Proposed solution
Serve the GPG key directly from a URL on the GitHub CLI domain, such as https://cli.github.com/apt-key.gpg.
Other Info
If it's any kind of support for it, a lot of projects also distribute their GPG keys in the manner I described, such as:
I'm open to feedback as well if I'm just not understanding how keyservers work.