Tools/scripts: note that you should also be in sync with origin/main

2022-12-04 12:29:43 +01:00 · 2022-12-04 12:29:43 +01:00 · 282db8d418
commit 282db8d418
parent c51816f696
1 changed files with 1 additions and 1 deletions
--- a/Tools/scripts/rmport
+++ b/Tools/scripts/rmport
@ -366,7 +366,7 @@ else
 	cd "${git_dir}/.." || exit 1
 fi
 if ! ${GIT} diff --exit-code remotes/origin/main ; then
-	echo "you have local commits, exiting" >&2
+	echo "you have local commits or are behind origin/main, exiting" >&2
 	exit 65
 fi