Allow use of docker/lint.sh clang_format with git-worktree#8639

areusch wants to merge 2 commits into

apache:mainapache/tvm:mainfrom

areusch:docker-script-improvementsareusch/tvm:docker-script-improvementsCopy head branch name to clipboard