diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-01-16 09:42:03 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-16 09:42:03 +0000 |
commit | 08a454c3cbad3bac2f0a027f5419d36b75cb6fc1 (patch) | |
tree | 4aa24ae6b5501d99414e90f4977312e3d1ef5dfa /.github/workflows/check.yml | |
parent | 310ea45a5a075c393fd10716817a0fa1ed372db5 (diff) | |
parent | 1f17c1eaf9ef4190517d93c006c91ec8b6c60cea (diff) |
Merge #138
138: Fix gitlint configuration: Disallow cleanup commits r=TheNeikos a=matthiasbeyer
Found that gitlint isn't properly configured, so I fixed it in this PR.
This PR also removes the fixup-check CI job, as gitlint does check this with the new configuration.
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to '.github/workflows/check.yml')
-rw-r--r-- | .github/workflows/check.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index d920ab6..9b3e086 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -30,10 +30,4 @@ jobs: - name: Install gitlint run: pip install gitlint - run: gitlint --commits $(git merge-base origin/main HEAD).. - fixup-check: - runs-on: ubuntu-latest - if: github.event_name == 'pull_request' - steps: - - uses: actions/checkout@v3.3.0 - - uses: 13rac1/block-fixup-merge-action@v2.0.0 |