Update local, some error messages changed#337

Merged

jkrech merged 7 commits intomainfrom updateLocal

Aug 27, 2024

+7-6

Commits on Aug 19, 2024

update-index now checks for updates for local packs
bgn42
committed

Commits on Aug 21, 2024

fixed wronf name in encoded progress and missing check for missing URL
bgn42
committed