From 8846c0246d721e9ca4a66506ecd0138aad320c93 Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Wed, 21 Jan 2026 16:54:29 +0100 Subject: [PATCH] docs/releasing: skip ci when creating the branchpoint This isn't a new git state to be tested, we're just pushing it to a new location. The push above doesn't need this because it doesn't run the CI anyway. Part-of: --- docs/releasing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/releasing.rst b/docs/releasing.rst index b8b9281b091..6550eb07134 100644 --- a/docs/releasing.rst +++ b/docs/releasing.rst @@ -211,7 +211,7 @@ the branches: git push origin $VERSION-branchpoint git checkout $VERSION-branchpoint git push origin HEAD:refs/heads/$VERSION - git push origin HEAD:refs/heads/staging/$VERSION + git push origin HEAD:refs/heads/staging/$VERSION --push-option ci.skip git checkout staging/$VERSION git branch --set-upstream-to origin/staging/$VERSION