Don't consider ./codeql/ to be an untracked file (#50892)

This commit is contained in:
Peter Bengtsson 2024-05-30 14:24:19 -04:00 коммит произвёл GitHub
Родитель 8106d3b705
Коммит da0bb01d32
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
1 изменённых файлов: 6 добавлений и 0 удалений

Просмотреть файл

@ -106,6 +106,12 @@ jobs:
GITHUB_TOKEN: ${{ secrets.DOCS_BOT_PAT_READPUBLICKEY }}
DRY_RUN: ${{ github.event_name == 'pull_request'}}
run: |
# When we started, we downloaded the CodeQL CLI here in this workflow.
# We have no intention of checking that in but we also don't want
# `git status ...` to show it as an untracked file.
rm -fr ./codeql
# If nothing to commit, exit now. It's fine. No orphans.
changes=$(git diff --name-only | wc -l)
untracked=$(git status --untracked-files --short | wc -l)