aboutsummaryrefslogtreecommitdiff
path: root/src/github-cli
diff options
context:
space:
mode:
authorRichard Höchenberger <richard.hoechenberger@gmail.com>2023-10-18 02:45:04 +0300
committerGitHub <noreply@github.com>2023-10-18 02:45:04 +0300
commit1155a9906b3324617d3e491f2f01b0175e43b522 (patch)
tree219c7230001f3db7cf21a572553a97e5c4a59ef9 /src/github-cli
parent36a3604b90762307dddd1ff2b89387f84b6ec66c (diff)
* Try Ubuntu keyserver on port 80 if default HKP port fails Closes #719 Closes #717 * Bump feature versions --------- Co-authored-by: Samruddhi Khandale <skhandale@microsoft.com>
Diffstat (limited to 'src/github-cli')
-rw-r--r--src/github-cli/devcontainer-feature.json2
-rwxr-xr-xsrc/github-cli/install.sh1
2 files changed, 2 insertions, 1 deletions
diff --git a/src/github-cli/devcontainer-feature.json b/src/github-cli/devcontainer-feature.json
index 24ef980..c47f4ac 100644
--- a/src/github-cli/devcontainer-feature.json
+++ b/src/github-cli/devcontainer-feature.json
@@ -1,6 +1,6 @@
{
"id": "github-cli",
- "version": "1.0.10",
+ "version": "1.0.11",
"name": "GitHub CLI",
"documentationURL": "https://github.com/devcontainers/features/tree/main/src/github-cli",
"description": "Installs the GitHub CLI. Auto-detects latest version and installs needed dependencies.",
diff --git a/src/github-cli/install.sh b/src/github-cli/install.sh
index c1dd692..2cdc0a6 100755
--- a/src/github-cli/install.sh
+++ b/src/github-cli/install.sh
@@ -12,6 +12,7 @@ INSTALL_DIRECTLY_FROM_GITHUB_RELEASE=${INSTALLDIRECTLYFROMGITHUBRELEASE:-"true"}
GITHUB_CLI_ARCHIVE_GPG_KEY=23F3D4EA75716059
GPG_KEY_SERVERS="keyserver hkp://keyserver.ubuntu.com
+keyserver hkp://keyserver.ubuntu.com:80
keyserver hkps://keys.openpgp.org
keyserver hkp://keyserver.pgp.com"