From 9efc07bd46c8db1a91dd589ecf5e5e4fb643300f Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 22 May 2025 18:52:09 +0000
Subject: [PATCH] Bump org.eclipse.jgit:org.eclipse.jgit

Bumps [org.eclipse.jgit:org.eclipse.jgit](https://github.com/eclipse-jgit/jgit) from 5.13.3.202401111512-r to 7.2.1.202505142326-r.
- [Commits](https://github.com/eclipse-jgit/jgit/compare/v5.13.3.202401111512-r...v7.2.1.202505142326-r)

---
updated-dependencies:
- dependency-name: org.eclipse.jgit:org.eclipse.jgit
  dependency-version: 7.2.1.202505142326-r
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index a46913eb..c28d0e83 100644
--- a/pom.xml
+++ b/pom.xml
@@ -16,7 +16,7 @@
 		<jdk.version>1.8</jdk.version>
 		<junit.version>3.8.1</junit.version>
 		<javaparser.version>3.14.8</javaparser.version>
-		<jgit.version>5.13.3.202401111512-r</jgit.version>
+		<jgit.version>7.2.1.202505142326-r</jgit.version>
 	</properties>
 
 	<dependencies>