v0.17.2

Changelog

• 400f18d Fix prealloc lint in objstore code-index test
• a4ca26c Fix push preview permanently counting nested gitmsg state refs as unpushed
• 6394ccf Static site: show a refresh pill when a new push lands while the tab is open
• eacc079 Show immediate and per-branch progress in gitsocial push
• e0c935d Static site: add "Diff anyway" opt-in for files over the diff size caps
• 833453f Static site: search results default to recent-first across types (Group by type toggle restores sections)
• 6d1aa23 Static site: order the commit graph topologically (no phantom lanes on rebased history) and include code commits in search
• 2c84c0c Support git push --force-with-lease on s3 remotes: implement the remote-helper cas option, enforced inside both ref-mode CAS loops.
• 6a9aa76 Static site: fast indexed commit graph with branch, tag, and merged-branch labels
• 6764ffb Add push remote selection and publish-by-default: config + picker, site-in-push, --all, empty-remote bootstrap
• a26f3a1 Make s3 pushes fast, resumable, and observable
• 58cc970 Use default logo color #27134f for the static site default favicon