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

fix: planner creates PR instead of direct push to protected master

Browse source 
Also removes local keyword from top-level scope.
This commit is contained in:
openhands 2026-03-15 12:47:50 +00:00
parent 335ea0d48d
commit 17053f8559
1 changed files with 21 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

25
planner/planner-agent.sh
View file

@ -40,7 +40,7 @@ if [ -f "$MARKER_FILE" ]; then
GIT_RANGE="${LAST_SHA}..HEAD" GIT_RANGE="${LAST_SHA}..HEAD"
else else
log "WARNING: marker SHA ${LAST_SHA:0:7} not found, using 30-day window" log "WARNING: marker SHA ${LAST_SHA:0:7} not found, using 30-day window"
local first_sha first_sha=""
first_sha=$(git log --format=%H --after='30 days ago' --reverse 2>/dev/null | head -1) || true first_sha=$(git log --format=%H --after='30 days ago' --reverse 2>/dev/null | head -1) || true
GIT_RANGE="${first_sha:-HEAD~30}..HEAD" GIT_RANGE="${first_sha:-HEAD~30}..HEAD"
fi fi
@ -111,12 +111,29 @@ Output ONLY the bullet list — no preamble, no markdown fences, no explanation.
printf '%s\n' "$PHASE1_OUTPUT" > "$TEMP_STATE" printf '%s\n' "$PHASE1_OUTPUT" > "$TEMP_STATE"
mv "$TEMP_STATE" "$STATE_FILE" mv "$TEMP_STATE" "$STATE_FILE"
# Commit STATE.md if changed # Commit STATE.md via PR (master is protected)
if ! git diff --quiet "$STATE_FILE" 2>/dev/null; then if ! git diff --quiet "$STATE_FILE" 2>/dev/null; then
branch_name="chore/planner-state-$(date -u +%Y%m%d)"
git checkout -B "$branch_name" 2>/dev/null
git add "$STATE_FILE" git add "$STATE_FILE"
git commit -m "chore: planner rebuild STATE.md" --quiet 2>/dev/null git commit -m "chore: planner rebuild STATE.md" --quiet 2>/dev/null
git push origin "${PRIMARY_BRANCH}" --quiet 2>/dev/null || true git push -f origin "$branch_name" --quiet 2>/dev/null || { log "ERROR: failed to push $branch_name"; git checkout "${PRIMARY_BRANCH}" 2>/dev/null; return 1; }
log "STATE.md committed and pushed" git checkout "${PRIMARY_BRANCH}" 2>/dev/null
# Create or update PR
EXISTING_PR=$(codeberg_api GET "/pulls?state=open&head=${CODEBERG_REPO%%/*}:${branch_name}&limit=1" 2>/dev/null | jq -r '.[0].number // empty')
if [ -z "$EXISTING_PR" ]; then
PR_RESPONSE=$(codeberg_api POST "/pulls" "{\"title\":\"chore: planner rebuild STATE.md\",\"head\":\"${branch_name}\",\"base\":\"${PRIMARY_BRANCH}\",\"body\":\"Automated STATE.md rebuild from git history + closed issues.\"}" 2>/dev/null)
PR_NUM=$(echo "$PR_RESPONSE" | jq -r '.number // empty')
if [ -n "$PR_NUM" ]; then
log "Created PR #${PR_NUM} for STATE.md update"
matrix_send "planner" "📋 PR #${PR_NUM}: planner rebuild STATE.md" 2>/dev/null || true
else
log "ERROR: failed to create PR"
fi
else
log "Updated existing PR #${EXISTING_PR}"
fi
fi fi
# Update marker # Update marker