Repository navigation

Build the index again when pydevices names a package's former repository - #6

Merged

bdbarnett merged 1 commit into

mainfrom

fix/former-repository-names

Nov 1, 2026

Merged

Build the index again when pydevices names a package's former repository#6
bdbarnett merged 1 commit into
mainfrom
fix/former-repository-names

Commits on Nov 1, 2026
- Build the index again: a package's former repository, named by an older pydevices release, maps to its new one
  bdbarnett
  committed
  4beddc9