Update dependency org.eclipse.jgit:org.eclipse.jgit to v7.2.1.202505142326-r#207

ThomasJejkal merged 1 commit intodevelopmentkit-data-manager/mapping-service:developmentfrom

renovate/org.eclipse.jgit-org.eclipse.jgit-7.xkit-data-manager/mapping-service:renovate/org.eclipse.jgit-org.eclipse.jgit-7.xCopy head branch name to clipboard