Skip to content

Conversation

@koppor
Copy link
Member

@koppor koppor commented Sep 17, 2025

Follow-up to #13913

Steps to test

see ´git gui not showing any strange files in.idea/` any more.

Mandatory checks

@koppor koppor merged commit 058e9ed into main Sep 17, 2025
38 of 39 checks passed
@koppor koppor deleted the refine-gitignore branch September 17, 2025 07:36
@trag-bot
Copy link

trag-bot bot commented Sep 17, 2025

@trag-bot didn't find any issues in the code! ✅✨

Siedlerchr added a commit that referenced this pull request Sep 17, 2025
* upstream/main:
  Refine .gitginore (#13931)
  Hotfix: Markdown lint issue
  Update custom code style decision document
  Chore(deps): Bump org.openrewrite.rewrite from 7.15.0 to 7.16.0 (#13923)
  New translations jabref_en.properties (French) (#13928)
  Chore(deps): Bump com.fasterxml.jackson.dataformat:jackson-dataformat-yaml (#13927)
  Chore(deps): Bump com.autonomousapps:dependency-analysis-gradle-plugin (#13924)
  Chore(deps): Bump com.autonomousapps:dependency-analysis-gradle-plugin (#13921)
  Chore(deps): Bump org.yaml:snakeyaml from 2.4 to 2.5 in /versions (#13922)
  Chore(deps): Bump tj-actions/changed-files from 45 to 47 (#13917)
  Chore(deps): Bump plbstl/first-contribution from 3 to 4 (#13916)
  Share .idea/codeStyles/Project.xml (#13913)
  Chore(deps): Bump actions/github-script from 7 to 8 (#13915)
  Chore(deps): Bump jbangdev/jbang-action from 0.129.0 to 0.130.0 (#13914)
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