Compare commits

..

16 commits

Author SHA1 Message Date
Hernâni Marques
261c25c87f
fix(dossiers-ngi): update README and scripts for branch status 2026-10-01 11:39:45 +02:00
Hernâni Marques
7397cddb83
feat(dossiers-ngi): sticky bar vs-parent loc-on-roots split plus/minus 45rem 2026-09-30 23:45:02 +02:00
Hernâni Marques
da6f384399
feat(dossiers-ngi): sticky bar vs-main compact dates tabular wider tree 2026-09-30 23:23:14 +02:00
Hernâni Marques
52e5c1d328
feat(dossiers-ngi): inject-editions-bar.sh for freeze HTML missing include 2026-09-30 22:25:38 +02:00
Hernâni Marques
27c7f4e37e
feat(dossiers-ngi): sticky bar + JSON diffstat vs parent tip 2026-09-30 22:17:03 +02:00
Hernâni Marques
31af42538a
feat: dossiers-ngi sticky bar vs-main +green/−red diffstat 2026-09-30 16:07:28 +02:00
Hernâni Marques
a4ec0305bc
fix: dossiers-ngi Caddy explicit edition_dir map (cookie placeholder 404) 2026-09-30 16:00:55 +02:00
Hernâni Marques
10d445c712
ops: dossiers-ngi Caddy Vary Cookie + no-cache for edition-pure CSS 2026-09-30 15:56:50 +02:00
Hernâni Marques
5677318ae2
ops: dossiers-ngi cascade bar dates, center/mobile, soft refresh; serve /cascade 2026-09-30 15:52:25 +02:00
Hernâni Marques
ee82ef9b6e
ops: dossiers-ngi edition tree bar, 10min tip-skip rebuild, cleanup 2026-09-30 15:35:35 +02:00
Hernâni Marques
ebecb26c7c
scripts/dossiers-ngi/README.md: update branch-status-hourly.py reference 2026-09-30 12:52:38 +02:00
Hernâni Marques
467092db1f
docs: update README.md with new content 2026-09-30 12:50:54 +02:00
Hernâni Marques
c1fefcc766
ops: dossiers-ngi hourly branch-status emit tip fields only 2026-09-30 03:41:53 +02:00
Hernâni Marques
c406352e1a
sites/dossiers.ngi: strip meta keep links and last-built 2026-09-30 03:41:53 +02:00
Hernâni Marques
ef0ff7f60d
docs: daylog tech-dossier Freeze cascade tip correction 2026-09-30 03:41:53 +02:00
Hernâni Marques
2b9f6c6b83
ops: dossiers-ngi hourly branch-status builder + systemd timer 2026-09-30 03:41:53 +02:00
3 changed files with 3 additions and 32 deletions

View file

@ -63,7 +63,7 @@ Per branch in JSON / sticky bar:
| `vs_parent_plus` / `vs_parent_minus` | `git diff --numstat` tip vs **parent** tip (sticky bar +grün/−rot; omitted when `parent` is empty or not in the tree, e.g. `main` and `feature/nl-net-injestion-injestor-update`) |
| `loc` | text-file line count of the tip vs the empty tree (gray `N LOC` in the plus/minus columns; only when there is no parent) |
Rebuild runs **only when** the current origin tip is not already a successful freeze (`freeze_ok`; timer never forces). Cookie alias `editions/flask` copies from `DEFAULT_BRANCH` unless that alias is already `freeze_ok` for the same tip **and** `.edition-built-at` matches the source freeze.
Rebuild runs **only when** the current origin tip is not already a successful freeze (`freeze_ok`; timer never forces).
Each run also: `git fetch --prune`, `worktree prune`, drop stale
`editions/<slug>/` (gone remotes), purge leftover `tdpd-*` tmp dirs.

View file

@ -534,26 +534,15 @@ def rebuild_edition(repo: Path, branch: str, tip: str, editions: Path) -> dict:
shutil.rmtree(wt, ignore_errors=True)
def _edition_built_at(editions: Path, slug: str) -> str:
p = editions / slug / ".edition-built-at"
if not p.is_file():
return ""
return p.read_text(encoding="utf-8").strip()
def sync_flask_alias(editions: Path, tips: dict[str, str]) -> None:
"""Keep editions/flask in sync with DEFAULT_BRANCH freeze when present."""
src_branch = default_branch()
if src_branch not in tips:
return
src_slug = edition_slug(src_branch)
src = editions / src_slug
src = editions / edition_slug(src_branch)
dst = editions / "flask"
tip = tips[src_branch]
flask_ok, _ = freeze_ok_for(editions, "flask", tip)
src_built = _edition_built_at(editions, src_slug)
flask_built = _edition_built_at(editions, "flask")
if flask_ok and src_built and src_built == flask_built:
if tip_recorded(editions, "flask") == tip and (dst / "index.html").is_file():
return
if not (src / "index.html").is_file():
ensure_placeholder(editions, "flask", tip)

View file

@ -100,24 +100,6 @@ PY
printf '1\n' > "$EDITIONS/feat-a/.edition-freeze-ok"
rm -f "$EDITIONS/feat-a/.edition-freeze-error"
# flask alias: matching tip + stale HTML must copy from DEFAULT_BRANCH
MAIN_TIP="$(tr -d '\n' < "$EDITIONS/main/.edition-tip")"
mkdir -p "$EDITIONS/flask"
printf '%s\n' "$MAIN_TIP" > "$EDITIONS/flask/.edition-tip"
printf '%s\n' '<html>stale-flask</html>' > "$EDITIONS/flask/index.html"
printf '%s\n' '2026-09-30T17:35:26+02:00' > "$EDITIONS/flask/.edition-built-at"
FETCH=0 TDPD_ROOT="$CLONE" OUT="$OUT" EDITIONS_ROOT="$EDITIONS" \
FREEZE_CMD="$FREEZE_CMD" REBUILD=1 DEFAULT_BRANCH=main \
python3 "$SCRIPT" --rebuild --no-fetch
grep -q "main" "$EDITIONS/flask/index.html"
if grep -q "stale-flask" "$EDITIONS/flask/index.html"; then
echo "FAIL flask alias kept stale HTML"
exit 1
fi
test "$(tr -d '\n' < "$EDITIONS/flask/.edition-freeze-ok")" = "1"
test "$(tr -d '\n' < "$EDITIONS/flask/.edition-built-at")" = "$(tr -d '\n' < "$EDITIONS/main/.edition-built-at")"
echo "OK flask alias copied after stale skip"
# delete smoke branch on origin; fetch --prune drops remote-tracking ref
cd "$CLONE"
git push origin --delete smoke/temp-sibling >/dev/null 2>&1