Rollup merge of #106958 - jyn514:labels, r=m-ou-se

[rust.git] / src / etc / pre-push.sh

diff --git a/src/etc/pre-push.sh b/src/etc/pre-push.sh
index 2a3086338b4bfe0591961272c2ac9582213ae574..7a846d44ad6a8e9484b51aaf41705683feef5742 100755 (executable)
--- a/src/etc/pre-push.sh
+++ b/src/etc/pre-push.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 #
-# Call `tidy --bless` before git push
+# Call `tidy` before git push
 # Copy this script to .git/hooks to activate,
 # and remove it from .git/hooks to deactivate.
 #