Skip to content

Document extrepo installation on Debian - #14796

Merged
williammartin merged 2 commits into
trunkfrom
williammartin-document-extrepo-install
Oct 23, 2026
Merged

williammartin merged 2 commits into
trunkfrom
williammartin-document-extrepo-install

Conversation

@williammartin

@williammartin williammartin commented Oct 23, 2026 •

Copy link
Copy Markdown
Member

Fixes #14256

Description

The current Debian instructions require manually configuring our APT repository. Debian's community-maintained extrepo metadata already configures that same official repository with fewer commands.

This PR documents extrepo as an unofficial installation method. It clarifies that Debian maintains the tool and repository metadata, while the installed packages still come from the official GitHub CLI repository.

How did you test this change?

I checked both new documentation links and received HTTP 200 responses. I did not exercise the installation commands because this is a documentation-only change and I did not have a Debian environment.

Key points

The extrepo tool and its github-cli metadata remain community-maintained. This avoids creating or maintaining a separate PPA release path.

Authorship and follow-up

Who wrote this:

  • A human wrote it.
  • An agent wrote it under close human direction.
  • An agent wrote it independently, and no human has guided the implementation beyond the initial prompt.

Who answers review comments:

  • @williammartin will read and reply directly. Name the account.
  • An agent will draft replies and @username will read them before they are posted.
  • Nobody has explicitly committed to replying.

Co-authored-by: Copilot App <[email protected]>

Copilot-Session: 9524ec94-45f1-4a7a-aff5-fd85cda6ff2b
Copilot AI balanced review requested due to automatic review settings October 23, 2026 09:03
@williammartin
williammartin requested a review from babakks October 23, 2026 09:03

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🔵 Needs a closer look

The installation sequence has not been exercised on Debian, leaving its end-to-end behavior unverified.

No open issues 🎉

What changed in this PR

This PR adds a shorter Debian installation option using community-maintained extrepo metadata, addressing the verbosity raised in #14256 without introducing a separate PPA.

Changes:

  • Documents commands to enable the GitHub CLI repository through extrepo and install gh.
  • Clarifies that Debian maintains the tool and metadata, while packages come from the official GitHub CLI repository.
File Description
docs/​install_linux.md Adds the Debian extrepo installation method and explains its maintenance and package sources.

Review effort: Balanced

@williammartin
williammartin marked this pull request as ready for review October 23, 2026 09:19
@williammartin
williammartin requested a review from a team as a code owner October 23, 2026 09:19

@babakks babakks left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for adding this, @williammartin! 🎉

Tested the instructions successfully in fresh Ubuntu 26.10 and 20.04 containers, covering both the latest release and a relatively old version. Looks good to go!

Comment thread docs/install_linux.md Resolved
Co-authored-by: Copilot App <[email protected]>

Copilot-Session: 9524ec94-45f1-4a7a-aff5-fd85cda6ff2b
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

Successfully merging this pull request may close these issues.

Add extrepo as an unofficial installation method

3 participants