I think we need both, remove prio 30 from deps repo and add an option for exclude, for completeness in repo-setup.
I think we need both, remove prio 30 from deps repo and add an option for exclude, for completeness in repo-setup.