repo.py: improve help