PPPY`peppy repo add` gains an `--id` flag to register a repository under an exact id from the reserved `>= 2000` band.
Released on September 2, 2026
peppy repo add --id <id>pins a new repository under an exact id from the reserved band (>= 2000) instead of a derived one, so setups that re-register it keep a stable id.