Skip to content

fix: skip unrelated JetBrains pre-push checks - #11723

Merged
markijbema merged 1 commit into
mainfrom
mark/filter-jetbrains-pre-push
Jul 2, 2026
Merged

fix: skip unrelated JetBrains pre-push checks#11723
markijbema merged 1 commit into
mainfrom
mark/filter-jetbrains-pre-push

Conversation

@markijbema

Copy link
Copy Markdown
Contributor

Summary

  • split the pre-push typecheck so the Java-backed JetBrains task runs only for changes that can affect the plugin
  • mirror the CI relevance exclusions for VS Code, docs, and changeset-only pushes
  • document when contributors need Java for the hook

This keeps the normal repository typecheck in place while avoiding an unnecessary Java requirement for contributors working exclusively on unrelated areas.

Co-authored-by: kiloconnect[bot] <240665456+kiloconnect[bot]@users.noreply.github.com>
@markijbema
markijbema merged commit 66ab5ea into main Jul 2, 2026
29 of 33 checks passed
@markijbema
markijbema deleted the mark/filter-jetbrains-pre-push branch July 2, 2026 06:34
t7tran pushed a commit to t7tran/kilocode that referenced this pull request Aug 14, 2026
…-pre-push

fix: skip unrelated JetBrains pre-push checks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants