From b4ed97c79f8d18ae337f972bf15242e453f9204a Mon Sep 17 00:00:00 2001 From: Michael Freno Date: Mon, 10 Aug 2026 15:29:09 -0400 Subject: [PATCH] rename Actions secret to PORTING_TOKEN (GITEA_/GITHUB_ prefixes are reserved) --- .gitea/workflows/port-to-omp.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitea/workflows/port-to-omp.yml b/.gitea/workflows/port-to-omp.yml index e76320d..5307128 100644 --- a/.gitea/workflows/port-to-omp.yml +++ b/.gitea/workflows/port-to-omp.yml @@ -5,7 +5,7 @@ name: port-to-omp # # Prerequisites on git.freno.me: # - an access token with write:repository scope, stored as the repo/org -# secret GITEA_TOKEN (the workflow authenticates as `oauth2:` over +# secret PORTING_TOKEN (the workflow authenticates as `oauth2:` over # https) # - a registered Actions runner (act_runner) for this repo # @@ -28,11 +28,11 @@ jobs: - name: Port to omp env: - GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }} + PORTING_TOKEN: ${{ secrets.PORTING_TOKEN }} OMP_REPO: omp-pygienium run: | set -euo pipefail - URL="https://oauth2:${GITEA_TOKEN}@git.freno.me/Mike/${OMP_REPO}.git" + URL="https://oauth2:${PORTING_TOKEN}@git.freno.me/Mike/${OMP_REPO}.git" if git ls-remote "$URL" HEAD >/dev/null 2>&1; then git clone --depth 1 "$URL" omp-port