config.py: rename allow_no_repoconfig to require_repoconfig