diff options
| author | Christian Cleberg <[email protected]> | 2026-08-07 03:27:37 -0500 |
|---|---|---|
| committer | Christian Cleberg <[email protected]> | 2026-08-07 03:27:37 -0500 |
| commit | 89c90d11d80fde63997ca029e14806df0319a541 (patch) | |
| tree | d4b6b57bc7648d8b1137b1d22bb09d6f2d44b093 /Hutch/Views/Repositories/DiffView.swift | |
| parent | 6c26cf048119bf4ff6af039991d3e34d76bac2ad (diff) | |
| download | hutch-89c90d11d80fde63997ca029e14806df0319a541.tar.gz hutch-89c90d11d80fde63997ca029e14806df0319a541.tar.bz2 hutch-89c90d11d80fde63997ca029e14806df0319a541.zip | |
Sync bundled man page catalog from man.sr.ht (#7)
The More tab's official man-page list was a hardcoded array, updated by
hand. Move it to a checked-in Hutch/Resources/man-pages.json (bundled via
the synchronized group) loaded by a new ManPageCatalog, with the previous
list kept as a built-in fallback.
Add scripts/sync_man_pages.py, which re-derives the catalog from the
man.sr.ht landing page, and a weekly scheduled workflow that runs it and
opens a pull request when the list diverges upstream. The script refuses to
write a suspiciously short list so a markup change can't gut the catalog.
This first sync also picks up chat.sr.ht, which upstream added since the
list was last hand-edited. Tests cover catalog loading, the fallback, and
JSON decoding.
Diffstat (limited to 'Hutch/Views/Repositories/DiffView.swift')
0 files changed, 0 insertions, 0 deletions
