mirror of
https://github.com/hohn/codeql-lab.git
synced 2025-12-16 09:53:04 +01:00
Merge pull request #120 from github/update-codeql-submodule
Update ql submodule, delete codeql-go submodule
This commit is contained in:
@@ -27,11 +27,3 @@ jobs:
|
||||
echo "::error:: The ql submodule is out of date with the lgtm.com branch of github/codeql. Expected $CODEQL_EXPECTED_SHA, found $CODEQL_ACTUAL_SHA."
|
||||
exit 1
|
||||
fi
|
||||
|
||||
CODEQL_GO_ACTUAL_SHA="$(git rev-parse @:./codeql-go)"
|
||||
CODEQL_GO_EXPECTED_SHA="$(gh api repos/github/codeql-go/git/ref/heads/lgtm.com --jq '.object.sha')"
|
||||
echo "The codeql-go submodule currently points to $CODEQL_GO_ACTUAL_SHA. The tip of the lgtm.com branch of github/codeql-go is $CODEQL_GO_EXPECTED_SHA."
|
||||
if [ "$CODEQL_GO_EXPECTED_SHA" != "$CODEQL_GO_ACTUAL_SHA" ]; then
|
||||
echo "::error:: The codeql-go submodule is out of date with the lgtm.com branch of github/codeql-go. Expected $CODEQL_GO_EXPECTED_SHA, found $CODEQL_GO_ACTUAL_SHA."
|
||||
exit 1
|
||||
fi
|
||||
|
||||
4
.gitmodules
vendored
4
.gitmodules
vendored
@@ -2,7 +2,3 @@
|
||||
path = ql
|
||||
url = https://github.com/github/codeql.git
|
||||
branch = lgtm.com
|
||||
[submodule "codeql-go"]
|
||||
path = codeql-go
|
||||
url = https://github.com/github/codeql-go.git
|
||||
branch = lgtm.com
|
||||
|
||||
Submodule codeql-go deleted from 3423729f4c
2
ql
2
ql
Submodule ql updated: b13123e66e...8cd261af0e
Reference in New Issue
Block a user