teleo/teleo-codex
8
0
Fork 0
Code Issues 22 Pull requests 84 Projects Releases Packages Wiki Activity Actions 1

leo: fix pending file cleanup — failed extractions no longer block retries

Browse source 
Failed/timed-out extractions and no-change extractions now remove the
source from extract-pending.txt so the next cron cycle can retry.

Caught by: Ganymede <00F28B10-062E-4863-9DD2-A5E9407B33FA>
Pentagon-Agent: Leo <14FF9C29-CABF-40C8-8808-B0B495D03FF8>
This commit is contained in:
m3taversal 2026-03-10 10:52:11 +00:00
parent 9987925ced
commit a25ef69ffa
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
ops/extract-cron.sh
View file

@ -152,6 +152,7 @@ IMPORTANT: Use the Edit tool to update the source file status. Use the Write too
--permission-mode bypassPermissions \ --permission-mode bypassPermissions \
>> "$LOG" 2>&1 || { >> "$LOG" 2>&1 || {
log "WARN: Claude extraction failed or timed out for $SOURCE_FILE" log "WARN: Claude extraction failed or timed out for $SOURCE_FILE"
sed -i "\|^${SOURCE_FILE}$|d" "$PENDING_FILE"
git checkout main >> "$LOG" 2>&1 git checkout main >> "$LOG" 2>&1
continue continue
} }
@ -160,6 +161,7 @@ IMPORTANT: Use the Edit tool to update the source file status. Use the Write too
CHANGED_FILES=$(git status --porcelain) CHANGED_FILES=$(git status --porcelain)
if [ -z "$CHANGED_FILES" ]; then if [ -z "$CHANGED_FILES" ]; then
log "No changes produced for $SOURCE_FILE" log "No changes produced for $SOURCE_FILE"
sed -i "\|^${SOURCE_FILE}$|d" "$PENDING_FILE"
git checkout main >> "$LOG" 2>&1 git checkout main >> "$LOG" 2>&1
continue continue
fi fi
@ -179,6 +181,7 @@ IMPORTANT: Use the Edit tool to update the source file status. Use the Write too
# Check if anything was staged # Check if anything was staged
if git diff --cached --quiet; then if git diff --cached --quiet; then
log "No valid changes to commit for $SOURCE_FILE" log "No valid changes to commit for $SOURCE_FILE"
sed -i "\|^${SOURCE_FILE}$|d" "$PENDING_FILE"
git checkout -- . >> "$LOG" 2>&1 git checkout -- . >> "$LOG" 2>&1
git checkout main >> "$LOG" 2>&1 git checkout main >> "$LOG" 2>&1
continue continue