diff --git a/Makefile b/Makefile index 51c2b18..7da7958 100644 --- a/Makefile +++ b/Makefile @@ -31,4 +31,10 @@ install-hooks: ## Point git at the tracked .githooks/ (auto-rebuilds dist on com git config core.hooksPath .githooks @echo "core.hooksPath -> .githooks" -.PHONY: help web-build web-dev web-check format format-check build techdata dev install-hooks +gc: ## Repack git history (committed dist/repo-intel deltas down to ~nothing) + @before=$$(git count-objects -vH | awk '/size-pack:/{print $$2 $$3}'); \ + git gc --quiet; \ + after=$$(git count-objects -vH | awk '/size-pack:/{print $$2 $$3}'); \ + echo "pack: $$before -> $$after" + +.PHONY: help web-build web-dev web-check format format-check build techdata dev install-hooks gc diff --git a/README.md b/README.md index d4b1ca1..bfca069 100644 --- a/README.md +++ b/README.md @@ -270,6 +270,18 @@ Pushing a `vX.Y.Z` tag by hand still works as a fallback and runs the same `Release` workflow — but it skips the pre-tag build gate, so prefer _Cut release_. +**Syncing tags locally.** Because `Release` _force-moves_ the floating `vX` +major tag onto each new release commit, a plain `git fetch --tags` refuses to +update it (`! [rejected] vX -> vX (would clobber existing tag)`). Pull the +realigned tags with: + +```sh +git fetch --tags --force --prune origin +``` + +The `vX.Y.Z` tags are immutable and always fetch cleanly; only the floating +`vX` tag needs `--force`. + ### Detection data (`techdata.json`) Language detection (extension/filename → language, colors, vendored-path noise diff --git a/dist/repo-intel b/dist/repo-intel index 017aa30..0193cce 100755 --- a/dist/repo-intel +++ b/dist/repo-intel @@ -83,7 +83,7 @@ from collections import defaultdict from datetime import datetime, timedelta, timezone from pathlib import Path -TEMPLATE = '\n\n
\n \n \n