|  | @@ -4,7 +4,8 @@ set -Eeuo pipefail
 | 
											
												
													
														|  |  cd "$(dirname "$(readlink -f "$BASH_SOURCE")")/.."
 |  |  cd "$(dirname "$(readlink -f "$BASH_SOURCE")")/.."
 | 
											
												
													
														|  |  
 |  |  
 | 
											
												
													
														|  |  git fetch -q https://github.com/docker-library/docs.git master
 |  |  git fetch -q https://github.com/docker-library/docs.git master
 | 
											
												
													
														|  | -if [ -n "$(git diff --numstat FETCH_HEAD...HEAD -- '*/README.md')" ]; then
 |  | 
 | 
											
												
													
														|  | 
 |  | +numstat="$(git diff --numstat FETCH_HEAD...HEAD -- '*/README.md')"
 | 
											
												
													
														|  | 
 |  | +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'
 |