docker-library
/
docs
mirror of https://github.com/docker-library/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix dead link in CI

This commit is contained in:
Tianon Gravi 2021-05-07 12:58:01 -07:00
parent a7315a897f
commit 896a221436
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.ci/check-pr-no-readme.sh
View File

@ -9,7 +9,7 @@ if [ -n "$numstat" ]; then
echo >&2 'Error: at least one repo README.md has changed' echo >&2 'Error: at least one repo README.md has changed'
echo >&2 'These files are autogenerated, so it is unnecessary to modify them' echo >&2 'These files are autogenerated, so it is unnecessary to modify them'
echo >&2 'Please update content.md and docker-library-bot will take care of README.md' echo >&2 'Please update content.md and docker-library-bot will take care of README.md'
echo >&2 'See: https://github.com/docker-library/docs/#image-namereadmemd' echo >&2 'See: https://github.com/docker-library/docs/#readmemd'
echo >&2 echo >&2
exit 1 exit 1
fi fi