vultr/openclaw
1
0
Fork 0
mirror of https://github.com/openclaw/openclaw.git synced 2026-04-10 08:41:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: tighten pr push script

Browse Source
This commit is contained in:
Gustavo Madeira Santana
2026-04-02 19:53:20 -04:00
parent 3a91a4f8d4
commit 9e2cbf9a30
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/pr-lib/push.sh
View File

@@ -3,7 +3,7 @@ resolve_head_push_url() {
source .local/pr-meta.env
if [ -n "${PR_HEAD_OWNER:-}" ] && [ -n "${PR_HEAD_REPO_NAME:-}" ]; then
printf 'git@github.com:%s/%s.git\n' "$PR_HEAD_OWNER" "$PR_HEAD_REPO_NAME"
printf 'https://github.com/%s/%s.git\n' "$PR_HEAD_OWNER" "$PR_HEAD_REPO_NAME"
return 0
fi
@@ -188,13 +188,13 @@ resolve_prhead_remote_sha() {
local current_push_url
current_push_url=$(git remote get-url prhead 2>/dev/null || true)
if [ -n "$https_url" ] && [ "$https_url" != "$current_push_url" ]; then
echo "SSH remote failed; falling back to HTTPS..."
echo "SSH remote failed; falling back to HTTPS..." >&2
git remote set-url prhead "$https_url"
git remote set-url --push prhead "$https_url"
remote_sha=$(git ls-remote prhead "refs/heads/$pr_head" 2>/dev/null | awk '{print $1}' || true)
fi
if [ -z "$remote_sha" ]; then
echo "Remote branch refs/heads/$pr_head not found on prhead"
echo "Remote branch refs/heads/$pr_head not found on prhead" >&2
exit 1
fi
fi