[skip ci] Fix docker/lint.sh after #10933#11541

jroesch merged 1 commit into

apache:mainapache/tvm:mainfrom

areusch:fix-docker-lintareusch/tvm:fix-docker-lintCopy head branch name to clipboard