From 9473f2d16d4b714452490ae66df8ac9ea099c609 Mon Sep 17 00:00:00 2001 From: Etienne Perot Date: Mon, 16 Jun 2025 13:45:33 -0700 Subject: [PATCH] PGO update script: Connect to GitHub over HTTPS rather than SSH. The `gh auth setup-git` command appears to configure Git as a credential helper for `https`, not for SSH-based access. SSH access fails with the host authenticity check. Try to connect over HTTPS instead, to see if that works properly. Otherwise we will have to provision `~/.ssh/known_hosts` and give the agent a private SSH key for authentication. PiperOrigin-RevId: 772156228 --- .buildkite/scripts/pgo/commit-update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.buildkite/scripts/pgo/commit-update.sh b/.buildkite/scripts/pgo/commit-update.sh index 6f1f601304..e7dae61368 100755 --- a/.buildkite/scripts/pgo/commit-update.sh +++ b/.buildkite/scripts/pgo/commit-update.sh @@ -36,7 +36,7 @@ export GIT_AUTHOR_EMAIL=gvisor-bot@google.com export GIT_COMMITTER_NAME=gvisor-bot export GIT_COMMITTER_EMAIL=gvisor-bot@google.com git commit -m "Update runsc profiles for PGO (profile-guided optimizations), $today." -git push --set-upstream git@github.com:google/gvisor.git "$pgo_branch_name" +git push --set-upstream https://github.com/google/gvisor.git "$pgo_branch_name" gh pr create \ --title="Update runsc profiles for PGO (profile-guided optimizations), $today." \ --body='This PR updates the runsc profiles for PGO (profile-guided optimizations).' \