5190: tell user to not use hyphens in tooltip for repository name editable attribute
[arvados.git] / apps / workbench / public / robots.txt