diff options
author | Joris Roovers <joris.roovers@gmail.com> | 2022-09-28 09:15:48 +0000 |
---|---|---|
committer | Joris Roovers <joris.roovers@gmail.com> | 2022-09-28 09:30:04 +0000 |
commit | c4fb1a20d41776ea8b52505d1e1d72935a1c8c8a (patch) | |
tree | 8776dce619f87205161053e5daec05be78652b78 | |
parent | beb874c49c0e44695ec41b258eb36748d6238ab9 (diff) |
Determining parent commitsgitlint-ci-changed-files-check
Expecting this to be empty.
-rw-r--r-- | .github/workflows/checks.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index f6a27d9..bcfab10 100644 --- a/.github/workflows/checks.yml +++ b/.github/workflows/checks.yml @@ -14,7 +14,13 @@ jobs: - uses: actions/checkout@v3 with: ref: ${{ github.event.pull_request.head.sha }} # Checkout pull request HEAD commit instead of merge commit - fetch-depth: 0 # Fetch all history for all branches and tags (required for gitlint changed files check) + # fetch-depth: 0 # Fetch all history for all branches and tags (required for gitlint changed files check) + + - name: Determine commit parents + run: | + git rev-list --max-parents=0 HEAD + echo ------------- + git log --decorate $(git rev-list --max-parents=0 HEAD) # Because gitlint is a tool that uses git itself under the hood, we remove git tracking from the checked out # code by temporarily renaming the .git directory. |