workflow: trim PORTING_TOKEN (paste newlines break oauth2 auth) + fail loudly when missing

.gitea/workflows/port-to-omp.yml

@@ -32,6 +32,10 @@ jobs:
           OMP_REPO: omp-deepi-research
         run: |
           set -euo pipefail
+          # Trim the secret: a stray newline from pasting silently breaks
+          # oauth2 basic-auth. Fail loudly when it is missing entirely.
+          PORTING_TOKEN="$(printf '%s' "${PORTING_TOKEN}" | tr -d '[:space:]')"
+          : "${PORTING_TOKEN:?PORTING_TOKEN secret is not set}"
           URL="https://oauth2:${PORTING_TOKEN}@git.freno.me/Mike/${OMP_REPO}.git"
           # The omp checkout lives in $RUNNER_TEMP, outside the pi checkout:
           # the port script refuses to write into a subdirectory of its own