diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2021-04-30 12:10:21 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2021-04-30 12:10:21 +0300 |
commit | ea0085de54590ffde24fee2ced286961a419410d (patch) | |
tree | 37245851fa82d45f8c2809475497427d1a3dcfac /scripts | |
parent | f8b2dfce123fa34b1ff01e18cbf643043b4d1eec (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/lint-doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 2abbf3d60df..7156488bfc8 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -114,7 +114,7 @@ function run_locally_or_in_docker() { $cmd $args elif hash docker 2>/dev/null then - docker run -t -v ${PWD}:/gitlab -w /gitlab --rm registry.gitlab.com/gitlab-org/gitlab-docs/lint-markdown:alpine-3.12-vale-2.6.1-markdownlint-0.24.0 ${cmd} ${args} + docker run -t -v ${PWD}:/gitlab -w /gitlab --rm registry.gitlab.com/gitlab-org/gitlab-docs/lint-markdown:alpine-3.13-vale-2.10.2-markdownlint-0.26.0 ${cmd} ${args} else echo echo " ✖ ERROR: '${cmd}' not found. Install '${cmd}' or Docker to proceed." >&2 |