fix for repos specified by number/name
fix a place where I missed renaming no_tags -> skip_tags