Skip to content

Fix JGit resources not being closed in CLI commands#6795

Merged
pditommaso merged 4 commits intomasterfrom
fix/close-jgit-resources
Feb 11, 2026
Merged

Fix JGit resources not being closed in CLI commands#6795
pditommaso merged 4 commits intomasterfrom
fix/close-jgit-resources

Commits

Commits on Feb 3, 2026

Commits on Feb 7, 2026