pre-push: if not up to date, provide a copy-pasta stanza to update it

dscho · dscho · commit be9fd8190678 · 2022-01-14T11:06:20.000+01:00
Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/pre-push.hook b/pre-push.hook
@@ -13,7 +13,9 @@ LF='
 '
 
 git diff --no-index --quiet pre-push.hook "$(git rev-parse --git-path hooks/pre-push)" ||
-die 'The `pre-push` hook is not up to date with `pre-push.hook`'
+die 'The `pre-push` hook is not up to date with `pre-push.hook`. Please update:
+
+	cp pre-push.hook .git/hooks/pre-push'
 
 # Verify that any tagged version is reflected in its `package.json`
 for tag in $(git for-each-ref --format='%(refname:short)' --points-at=HEAD 'refs/tags/v[0-9]*')

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,9 @@ LF='`
`13`	`13`	`'`
`14`	`14`
`15`	`15`	`git diff --no-index --quiet pre-push.hook "$(git rev-parse --git-path hooks/pre-push)" \|\|`
`16`		-die 'The `pre-push` hook is not up to date with `pre-push.hook`'
	`16`	+die 'The `pre-push` hook is not up to date with `pre-push.hook`. Please update:
	`17`	`+`
	`18`	`+ cp pre-push.hook .git/hooks/pre-push'`
`17`	`19`
`18`	`20`	# Verify that any tagged version is reflected in its `package.json`
`19`	`21`	`for tag in $(git for-each-ref --format='%(refname:short)' --points-at=HEAD 'refs/tags/v[0-9]*')`