fix: add push failure warning to archive move (Ganymede review)
Makes silent archive push failures visible in logs. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
parent
eee2b5c78b
commit
71b62e6d03
1 changed files with 5 additions and 1 deletions
|
|
@ -262,11 +262,15 @@ Pentagon-Agent: Epimetheus <3D35839A-7722-4740-B93D-51157F7D5E70>" >> $LOG 2>&1
|
|||
git commit -m "pipeline: archive $BASENAME after extraction
|
||||
|
||||
Pentagon-Agent: Epimetheus <3D35839A-7722-4740-B93D-51157F7D5E70>" >> $LOG 2>&1
|
||||
PUSH_OK=0
|
||||
for attempt in 1 2 3; do
|
||||
git pull --rebase origin main >> $LOG 2>&1
|
||||
git push origin main >> $LOG 2>&1 && break
|
||||
git push origin main >> $LOG 2>&1 && { PUSH_OK=1; break; }
|
||||
sleep 1
|
||||
done
|
||||
if [ "$PUSH_OK" -eq 0 ]; then
|
||||
echo " -> WARNING: archive commit for $BASENAME failed to push after 3 attempts" >> $LOG
|
||||
fi
|
||||
cd $REPO
|
||||
git fetch origin main >> $LOG 2>&1
|
||||
git reset --hard origin/main >> $LOG 2>&1
|
||||
|
|
|
|||
Loading…
Reference in a new issue