Fix: stage state_merged.db after merge
This commit is contained in:
5
sync.sh
5
sync.sh
@@ -155,7 +155,10 @@ finally:
|
|||||||
shutil.rmtree(tmpdir, ignore_errors=True)
|
shutil.rmtree(tmpdir, ignore_errors=True)
|
||||||
PYEOF
|
PYEOF
|
||||||
|
|
||||||
# ── Step 5: Push ─────────────────────────────────────────────────────────
|
# ── Step 5: Stage merged DB (it was just created in Step 4) ─────────────
|
||||||
|
git add state_merged.db 2>/dev/null || true
|
||||||
|
|
||||||
|
# ── Step 6: Push ─────────────────────────────────────────────────────────
|
||||||
if [ "$HAS_LOCAL" = true ]; then
|
if [ "$HAS_LOCAL" = true ]; then
|
||||||
git commit -m "Sync $(date '+%Y-%m-%d %H:%M')" 2>/dev/null || true
|
git commit -m "Sync $(date '+%Y-%m-%d %H:%M')" 2>/dev/null || true
|
||||||
if ! git push origin main 2>&1; then
|
if ! git push origin main 2>&1; then
|
||||||
|
|||||||
Reference in New Issue
Block a user