#!/usr/bin/env bash # 使用 ~/.secrets/gitea 推送 dev 分支(不写入 git config) set -eo pipefail ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" SECRETS="${HOME}/.secrets/gitea" BRANCH="${1:-dev}" if [[ ! -f "${SECRETS}" ]]; then echo "[错误] 未找到 ${SECRETS}" exit 1 fi TOKEN=$(grep -E '^- ACCESS_TOKEN=' "${SECRETS}" | sed 's/^- ACCESS_TOKEN=//') PREFIX=$(grep -E '^- URL_PREFIX=' "${SECRETS}" | sed 's/^- URL_PREFIX=//') if [[ -z "${TOKEN}" || -z "${PREFIX}" ]]; then echo "[错误] ${SECRETS} 缺少 ACCESS_TOKEN 或 URL_PREFIX" exit 1 fi cd "${ROOT_DIR}" git push "https://oauth2:${TOKEN}@${PREFIX}/weichen/Agent-System.git" "${BRANCH}"