Open kwin opened 8 months ago
Although not explicitly listed in https://github.com/eclipse-jgit/jgit/blob/b1cc74b75b771279d81de15833da514c71513648/Documentation/config-options.md conditional includes are not supported yet by JGit. Those were added with Git 2.13
This is very useful if slightly different configs should be used for several repositories (sharing the same root folder). Compare with https://stackoverflow.com/questions/21307793/set-git-config-values-for-all-child-folders
The only workaround would be repository specific configurations which leads to a lot of config duplication and effort to initially set this correctly
No response
See also Eclipse bugzilla 543171 for an earlier report and some comments.
Thanks for the link. Maybe only path conditions (gitdir:) can be evaluated to simplify the implementation.
Description
Although not explicitly listed in https://github.com/eclipse-jgit/jgit/blob/b1cc74b75b771279d81de15833da514c71513648/Documentation/config-options.md conditional includes are not supported yet by JGit. Those were added with Git 2.13
Motivation
This is very useful if slightly different configs should be used for several repositories (sharing the same root folder). Compare with https://stackoverflow.com/questions/21307793/set-git-config-values-for-all-child-folders
Alternatives considered
The only workaround would be repository specific configurations which leads to a lot of config duplication and effort to initially set this correctly
Additional context
No response