Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Refs https://github.com/JabRef/jabref-issue-melting-pot/issues/504
I finally found a "solution" for the git submodule issue (posted at https://stackoverflow.com/questions/66773544/git-submodule-not-ignored-even-with-ignore-all/79176853#79176853). -- Background: I was about to file a bug against
lazygit
, but then I found out thatgit add -A
ignores theignore = all
setting. After some googling, I found the solution to usegit update-index --assume-unchanged {sub-module-path}
.This PR adds this to the documetation.
Mandatory checks
CHANGELOG.md
described in a way that is understandable for the average user (if change is visible to the user)