7bc74caa63
Add fire-and-forget mirror push support so merges to the primary branch are automatically pushed to configured public mirrors (GitHub, Codeberg, etc.). Mirror failures are logged but never block the pipeline. - lib/mirrors.sh: new shared mirror_push() helper - lib/load-project.sh: parse [mirrors] TOML section into MIRROR_* env vars - dev/phase-handler.sh: call mirror_push after do_merge() success - dev/dev-poll.sh: call mirror_push after try_direct_merge() success - gardener/gardener-run.sh: call mirror_push after _gardener_merge() success - bin/disinto: set up mirror remotes during init, add commented mirrors to generated TOML - projects/*.toml.example: show [mirrors] section (commented out) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
26 lines
607 B
Text
26 lines
607 B
Text
# projects/versi.toml.example — Template for johba/versi
|
|
#
|
|
# Copy to projects/versi.toml and fill in box-specific values,
|
|
# or run: disinto init johba/versi
|
|
|
|
name = "versi"
|
|
repo = "johba/versi"
|
|
forge_url = "http://localhost:3000"
|
|
repo_root = "/home/YOU/versi"
|
|
primary_branch = "main"
|
|
|
|
[ci]
|
|
woodpecker_repo_id = 0
|
|
stale_minutes = 60
|
|
|
|
[services]
|
|
containers = []
|
|
|
|
[monitoring]
|
|
check_prs = true
|
|
check_dev_agent = true
|
|
check_pipeline_stall = true
|
|
|
|
# [mirrors]
|
|
# github = "git@github.com:johba/versi.git"
|
|
# codeberg = "git@codeberg.org:johba/versi.git"
|