"bin/dev/regen-adr-index.sh" did not exist on "main"