Token Fetcher

Author: Coltin2121

Dockerfile

@@ -21,7 +21,9 @@ RUN   apt-get update && apt-get install -y \
       gdb-multiarch \
       wget \
       jimsh \
-      libjim-dev
+      libjim-dev \
+      jq
+      
 
 RUN   python -m pip install gatorgrade 
 

docker-compose.yml

@@ -2,8 +2,8 @@ services:
   gdbuddy:
     image: ghcr.io/bare-metal-edu/gdbuddy:latest
     environment:
-      RUNNER_ORG:
-      RUNNER_TOKEN:
+      RUNNER_ORG: https://github.com/bare-metal-edu
+      GITHUB_PAT: ${GITHUB_PAT}
     privileged: true
     devices:
       - "/dev/ttyACM0:/dev/ttyACM0"

entrypoint.sh

@@ -1,7 +1,20 @@
 #/bin/sh
 
+set -e
+
+# Extract org from URL
+ORG_NAME=$(echo "$RUNNER_ORG" | awk -F/ '{print $NF}')
+
+# Fetch the runner registration Token from GitHub API
+RUNNER_TOKEN=$(curl -s -X POST /
+-H "Authorization: Bearer $GITHUB_PAT" \
+-H "Accept: application/vnd.github+json" \
+"https://api.github.com/orgs/$ORG_NAME/actions/runners/registration-token" | jq -r .token)
+
 cd /runner && \
-./config.sh --url $RUNNER_ORG --token $RUNNER_TOKEN &&
+./config.sh --url "$RUNNER_ORG" --token "$RUNNER_TOKEN" &&
 ./run.sh &
 
 /tools/openocd/src/openocd -c "gdb_port 50000" -c "tcl_port 50001" -c "telnet_port 50002" -s /tools/openocd/tcl -f /tools/openocd-helpers.tcl -f interface/cmsis-dap.cfg -f target/rp2040.cfg -c "adapter speed 5000"
+
+