Allow digits in the generated short name#820

pietern merged 2 commits into

maindatabricks/cli:mainfrom

short-name-with-digitsdatabricks/cli:short-name-with-digitsCopy head branch name to clipboard