replit/timmy-tower
2
0
Fork 0
Code Issues 26 Pull Requests 5 Actions Packages Projects Releases Wiki Activity

chore: push-to-gitea now runs as replit user (collaborator on admin/timmy-tower)

Browse Source 
- GITEA_USER defaults to 'replit' (auth identity)
- GITEA_REPO_OWNER defaults to 'admin' (repo owner)
- .gitea-credentials updated to replit user token
- replit user created on hermes Gitea with admin-level collaborator access
This commit is contained in:
Replit Agent
2026-03-20 03:10:15 +00:00
parent eb40632c6e
commit 2938a1ac78
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
scripts/push-to-gitea.sh
View File

@@ -18,7 +18,8 @@
# =============================================================================
set -euo pipefail
GITEA_USER="${GITEA_USER:-admin}"
GITEA_USER="${GITEA_USER:-replit}"
GITEA_REPO_OWNER="${GITEA_REPO_OWNER:-admin}"
REPO_ROOT="$(git rev-parse --show-toplevel 2>/dev/null || pwd)"
RED='\033[0;31m'; GREEN='\033[0;32m'; YELLOW='\033[1;33m'; CYAN='\033[0;36m'; NC='\033[0m'
@@ -100,7 +101,7 @@ info "Branch: ${BRANCH}"
# Inject credentials into URL regardless of http/https scheme
SCHEME="${GITEA_BASE%%://*}"
HOST_PATH="${GITEA_BASE#*://}"
REMOTE_URL_WITH_CREDS="${SCHEME}://${GITEA_USER}:${GITEA_TOKEN}@${HOST_PATH}/${GITEA_USER}/${REPO_NAME}.git"
REMOTE_URL_WITH_CREDS="${SCHEME}://${GITEA_USER}:${GITEA_TOKEN}@${HOST_PATH}/${GITEA_REPO_OWNER}/${REPO_NAME}.git"
if git -C "$REPO_ROOT" remote get-url gitea &>/dev/null; then
git -C "$REPO_ROOT" remote set-url gitea "$REMOTE_URL_WITH_CREDS"
@@ -118,8 +119,8 @@ if git -C "$REPO_ROOT" push gitea "HEAD:${BRANCH}"; then
echo ""
ok "Pushed ${BRANCH} to gitea."
echo ""
echo " Branch: ${GITEA_BASE}/${GITEA_USER}/${REPO_NAME}/src/branch/${BRANCH}"
echo " Open PR: ${GITEA_BASE}/${GITEA_USER}/${REPO_NAME}/compare/main...${BRANCH}"
echo " Branch: ${GITEA_BASE}/${GITEA_REPO_OWNER}/${REPO_NAME}/src/branch/${BRANCH}"
echo " Open PR: ${GITEA_BASE}/${GITEA_REPO_OWNER}/${REPO_NAME}/compare/main...${BRANCH}"
echo ""
else
EXIT_CODE=$?