Update remote repository to github/codeql

Author: owen-mc

misc/scripts/prepare-db-upgrade.sh

@@ -30,10 +30,10 @@ EOF
   exit "${exit_code}"
 }
 
-# default for prev_hash: the main branch of the remote for 'github/semmle-code'.
+# default for prev_hash: the main branch of the remote for 'github/codeql'.
 # This works out as a dynamic lookup of the hash of the file in the main branch
 # of the repo.
-prev_hash=$(git remote -v | grep 'github/semmle-code\.git (fetch)$' | cut -f1)/main
+prev_hash=$(git remote -v | grep 'github/codeql\.git (fetch)$' | cut -f1)/main
 
 while [ $# -gt 0 ]; do
   case "$1" in