ci: make docs and command manual release distinct

.github/workflows/release-command-manual.yml

@@ -45,7 +45,7 @@ jobs:
         shell: nix develop ./../ockam/tools/nix#rust --command bash {0}
         run: |
           git checkout command
-          git checkout -B ${{ github.event.inputs.release_branch }}
+          git checkout -B "manual_${{ github.event.inputs.release_branch }}"
 
           cd manual/template/mdbook
           nix shell nixpkgs/nixos-23.11#mdbook --command sh -c "./build.sh ${{ github.event.inputs.release_tag }}"
@@ -59,4 +59,4 @@ jobs:
           git add .
           git commit -m "update command manual to ${{ github.event.inputs.release_tag }}"
 
-          git push --set-upstream origin ${{ github.event.inputs.release_branch }}
+          git push --set-upstream origin "manual_${{ github.event.inputs.release_branch }}"

.github/workflows/release-docs-update.yml

@@ -36,7 +36,7 @@ jobs:
       - name: Update Examples
         working-directory: docs
         run: |
-          branch_name="${{ github.event.inputs.branch_name }}"
+          branch_name="docs_${{ github.event.inputs.branch_name }}"
           if git ls-remote --heads origin "$branch_name" | grep -q "$branch_name"; then
             echo "Branch $branch_name exists, switching to it..."
             git branch
@@ -58,5 +58,5 @@ jobs:
           if ! git diff --exit-code; then
             git add .
             git commit -m "update docs on release to ockam ref ${{ github.event.inputs.ockam_ref }}"
-            git push --set-upstream origin ${{ github.event.inputs.branch_name }}
+            git push --set-upstream origin "docs_${{ github.event.inputs.branch_name }}"
           fi