Skip to content

ci: reset the Toolforge checkout to main instead of pulling in deploy-db - #113

Merged
forzagreen merged 1 commit into
mainfrom
fix/deploy-db-sync-checkout
Oct 7, 2026
Merged

forzagreen merged 1 commit into
mainfrom
fix/deploy-db-sync-checkout

Conversation

@forzagreen

Copy link
Copy Markdown
Owner

The deploy-db job of #112 (run 37600073380) failed before importing anything:

error: The following untracked working tree files would be overwritten by merge:
	db/arabterm.sql.gz

The bastion checkout (~/wikitermbase) had an untracked db/arabterm.sql.gz, probably left by an earlier manual download. Now that #112 tracks that file, git pull --ff-only refuses to overwrite it.

Change

  • deploy-db now runs git fetch origin main + git reset --hard origin/main instead of git pull --ff-only. That checkout is only a deploy mirror, so it should match main exactly; a leftover file can no longer block the import. Ignored files (var/) are kept.
  • CLAUDE.md updated to match.

Reproduced locally: a clone at 878817c with a stray db/arabterm.sql.gz fails git merge --ff-only ec83e77 with the same error, and git reset --hard ec83e77 succeeds, gzip -t passes, var/local.cnf is kept.

Notes

🤖 Generated with Claude Code

https://claude.ai/code/session_01P46G3NWFFqPMVwDmVo4vLJ


Generated by Claude Code

The deploy-db run of #112 failed before importing anything: the bastion
checkout had an untracked db/arabterm.sql.gz, which `git pull --ff-only`
refuses to overwrite now that the file is tracked.

The checkout is only a deploy mirror, so fetch and `git reset --hard
origin/main`: a leftover file can no longer block the import. Ignored
files (var/) are kept.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01P46G3NWFFqPMVwDmVo4vLJ
@forzagreen
forzagreen merged commit 3d7530e into main Oct 7, 2026
5 checks passed
forzagreen added a commit that referenced this pull request Oct 18, 2026
forzagreen added a commit that referenced this pull request Oct 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants