Skip to content

Ignore .codegraph/ - #16558

Merged
subhramit merged 1 commit into
mainfrom
add-codegraph-to-gitignore
Aug 13, 2026
Merged

Ignore .codegraph/#16558
subhramit merged 1 commit into
mainfrom
add-codegraph-to-gitignore

Conversation

@koppor

@koppor koppor commented Aug 13, 2026

Copy link
Copy Markdown
Member

Summary

CodeGraph should also not be commited.

Steps to test

Use CodeGraph and see that no files want to be commited.

Related issues and pull requests

Closes NA

AI usage

🧠

Checklist

  • I own the copyright of the code submitted and I license it under the MIT license
  • [/] If AI tools were used, I disclosed them in the "AI usage" section and reviewed, understood, and take full ownership of all AI-generated code
  • I manually tested my changes in running JabRef (always required)
  • [/] I added JUnit tests for changes (if applicable)
  • [/] I added screenshots in the PR description (if change is visible to the user)
  • [/] I added a screenshot in the PR description showing a library with a single entry with me as author and as title the issue number
  • [/] I described the change in CHANGELOG.md in a way that can be understood by the average user (if change is visible to the user)
  • [/] I checked the user documentation for up to dateness and submitted a pull request to our user documentation repository

@qodo-free-for-open-source-projects

Copy link
Copy Markdown
Contributor

Code Review by Qodo

Grey Divider

No Changes in PR

Qodo reviewed your PR and found no changes in the code

Grey Divider

Tip of the day
💡 Did you know, you can type 'qodo, fix this' on a finding and the fix lands right on your PR

More tips ↗ | Customize Qodo ↗ | Qodo docs ↗

Grey Divider

Qodo Logo

@subhramit
subhramit added this pull request to the merge queue Aug 13, 2026
@github-actions github-actions Bot added the status: to-be-merged PRs which are accepted and should go into the merge-queue. label Aug 13, 2026
Merged via the queue into main with commit d008188 Aug 13, 2026
69 checks passed
@subhramit
subhramit deleted the add-codegraph-to-gitignore branch August 13, 2026 11:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

status: to-be-merged PRs which are accepted and should go into the merge-queue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants