Merge pull request #5030 from gooddata/jimi/lint

chore(ci): rm commit lint (replaced by GD central) Reviewed-by: https://github.com/ivanmjartan
gooddata · Jun 17, 2024 · 13a657f · 13a657f
2 parents b7909ae + b6c45f5
commit 13a657f
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 1,562 deletions.
diff --git a/.github/actions/check-pull-request-commits/README.md b/.github/actions/check-pull-request-commits/README.md
diff --git a/.github/actions/check-pull-request-commits/action.yml b/.github/actions/check-pull-request-commits/action.yml
diff --git a/.github/actions/check-pull-request-commits/commitlint.config.js b/.github/actions/check-pull-request-commits/commitlint.config.js
diff --git a/.github/actions/check-pull-request-commits/package.json b/.github/actions/check-pull-request-commits/package.json
diff --git a/.github/actions/check-pull-request-commits/src/action.js b/.github/actions/check-pull-request-commits/src/action.js