Markdown as the source of truth in Git — PDF on demand built with WeasyPrint
Git as the source of truth for a specification: semantic line breaks for readable diffs, a check proving nothing changed, and WeasyPrint for PDF on demand.
Git
Shaping a session's work into commits — git log for the convention, reset --soft for the re-cut
Decide a commit shape by reading the repository history first, then use git reset --soft to re-cut unpushed commits until they match what git log shows.
git rm --cached left 26 MB in .git — the working tree was clean and history was not
git rm --cached removes a path from the index, not from past commits. How to measure the difference, and remove a committed build artifact with filter-repo.
git gc recovered 8.6 MB while I was investigating a 0.8 MB problem in git history
Chasing 1.6 MB of PNG blobs in git history found a repo that had never been packed. git gc recovered 8.6 MB; the rewrite I skipped was worth 0.8 MB.
A 2 MB PNG became 316 KB WebP — but only before the first commit
Measuring PNG, JPEG and WebP for article figures, why re-compressing the PNG made it larger, and why converting an image git already tracks reclaims nothing.
My work email was in all 27 personal repos — fixing it with git includeIf and filter-repo --mailmap
Git identity belongs to the directory, not the repo. includeIf gitdir fixes it going forward; git filter-repo --mailmap fixes the commits already pushed.