DEVX-154: fix: configure git remote with CI token for post-merge push

2026-08-12 13:15:10 +00:00
parent 18632bd543
commit e0ccfd6a11
1 changed files with 3 additions and 0 deletions
@@ -125,9 +125,12 @@ jobs:
          CI_GITEA_API_TOKEN: ${{ secrets.CI_GITEA_API_TOKEN }}
        run: make setup-image EXTRAS=release
      - name: Configure git
+        env:
+          CI_GITEA_API_TOKEN: ${{ secrets.CI_GITEA_API_TOKEN }}
        run: |
          git config user.name "devx-ci-bot"
          git config user.email "devx-ci-bot@oblachno.fyi"
+          git remote set-url origin "https://devx-ci-bot:${CI_GITEA_API_TOKEN}@git.oblachno.oblachno.fyi/oblachno-oss/devx.git"
      # --- release + publish (only if user-facing changes, not a release commit) ---
      - name: Run release
        id: release-tag