| #!/bin/bash |
| set -euo pipefail |
|
|
| echo "=== Copilot OpenAI Server Startup ===" |
| echo "" |
|
|
| |
| if [ -z "${GH_TOKEN:-}" ] && [ -z "${GITHUB_TOKEN:-}" ]; then |
| echo "ERROR: GH_TOKEN environment variable is not set!" |
| echo "Set a Hugging Face Space Secret named GH_TOKEN (or GITHUB_TOKEN) with a valid GitHub token." |
| exit 1 |
| fi |
|
|
| if [ -z "${GH_TOKEN:-}" ]; then |
| GH_TOKEN="${GITHUB_TOKEN}" |
| fi |
|
|
| echo "GH_TOKEN is set (${#GH_TOKEN} characters)" |
| echo "" |
|
|
| |
| export GH_TOKEN |
| export GITHUB_TOKEN=$GH_TOKEN |
|
|
| |
| if ! command -v gh >/dev/null 2>&1; then |
| echo "ERROR: GitHub CLI (gh) is not installed in this image." |
| exit 1 |
| fi |
|
|
| |
| |
| echo "Verifying GitHub token..." |
| if ! gh api user >/dev/null 2>&1; then |
| echo "ERROR: GH_TOKEN is set but failed GitHub API auth check." |
| echo "Ensure the token is valid and has required scopes/entitlements." |
| exit 1 |
| fi |
| echo "GitHub token verification succeeded" |
| echo "" |
|
|
| echo "Starting Copilot OpenAI Server..." |
| echo "" |
|
|
| |
| exec /usr/local/bin/copilot-server "$@" |
|
|