Clarify what type of reference we are trying to push. (#2279)

smithy-lang · Feb 2, 2023 · 36d3116 · 36d3116
1 parent 2a913a7
commit 36d3116
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/get-or-create-release-branch.sh b/.github/scripts/get-or-create-release-branch.sh
@@ -54,7 +54,7 @@ fi
 echo "release_branch=${branch_name}" >"${output_file}"
 
 if [[ "${DRY_RUN}" == "true" ]]; then
-    git push --force origin "HEAD:${branch_name}"
+    git push --force origin "HEAD:refs/heads/${branch_name}"
 else
     commit_sha=$(git rev-parse --short HEAD)
     if git ls-remote --exit-code --heads origin "${branch_name}"; then