Update remote repository to github/codeql

This commit is contained in:
Owen Mansel-Chan
2024-12-11 21:51:19 +00:00
committed by GitHub
parent ec5d655d7f
commit 8d5759dbdf

View File

@@ -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