johba/disinto
1
0
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request 'fix: CODEBERG_WEB not exported from lib/env.sh — other agents may hit the same gap (#129)' (#146) from fix/issue-129 into main

Browse source
This commit is contained in:
johba 2026-03-18 10:47:24 +01:00
commit 75223d3943
2 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
dev/dev-agent.sh
View file

@ -48,7 +48,6 @@ IMPL_SUMMARY_FILE="/tmp/dev-impl-summary-${PROJECT_NAME}-${ISSUE}.txt"
# Matrix thread tracking — one thread per issue for conversational notifications
THREAD_FILE="/tmp/dev-thread-${PROJECT_NAME}-${ISSUE}"
CODEBERG_WEB="https://codeberg.org/${CODEBERG_REPO}"
# Timing
PHASE_POLL_INTERVAL=30 # seconds between phase checks

1
lib/env.sh
View file

@ -33,6 +33,7 @@ export CODEBERG_TOKEN
# Project config
export CODEBERG_REPO="${CODEBERG_REPO:-johba/harb}"
export CODEBERG_API="${CODEBERG_API:-https://codeberg.org/api/v1/repos/${CODEBERG_REPO}}"
export CODEBERG_WEB="https://codeberg.org/${CODEBERG_REPO}"
export PROJECT_NAME="${PROJECT_NAME:-${CODEBERG_REPO##*/}}"
export PROJECT_REPO_ROOT="${PROJECT_REPO_ROOT:-${HARB_REPO_ROOT:-/home/${USER}/${PROJECT_NAME}}}"
export HARB_REPO_ROOT="${PROJECT_REPO_ROOT}" # deprecated alias