Merge "Add searching duplicate "external" externalIds only differing in case" into stable-3.1
diff --git a/contrib/find-duplicate-usernames.sh b/contrib/find-duplicate-usernames.sh
index aff3ba7..b59e5be 100755
--- a/contrib/find-duplicate-usernames.sh
+++ b/contrib/find-duplicate-usernames.sh
@@ -17,15 +17,15 @@
   cat <<EOF
 Usage:
     cd /path/to/All-Users.git
-    "$f [username|gerrit]"
+    "$f [username|gerrit|external]"
 
 This script finds duplicate usernames only differing in case in the given
-account schema ("username" or "gerrit") and their respective accountIds.
+account schema ("username", "gerrit" or "external") and their respective accountIds.
 EOF
   exit 1
 }
 
-if [[ "$#" -ne "1" ]] || ! [[ "$1" =~ ^(gerrit|username)$ ]]; then
+if [[ "$#" -ne "1" ]] || ! [[ "$1" =~ ^(gerrit|username|external)$ ]]; then
   usage
 fi