Merge pull request #17152 from facaiy/BLD/ci_allow_bad_user_name
authorekelsen <ekelsen@gmail.com>
Fri, 23 Feb 2018 22:40:50 +0000 (14:40 -0800)
committerGitHub <noreply@github.com>
Fri, 23 Feb 2018 22:40:50 +0000 (14:40 -0800)
docker ci allows bad name user


Trivial merge