Bump org.eclipse.jgit:org.eclipse.jgit from 6.6.1.202309021850-r to 6.10.1.202505221210-r in /backend/backend#371

dependabot[bot] wants to merge 1 commit intomainleanprover/velcom:mainfrom

dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-6.10.1.202505221210-rleanprover/velcom:dependabot/maven/backend/backend/org.eclipse.jgit-org.eclipse.jgit-6.10.1.202505221210-rCopy head branch name to clipboard