Merge pull request #1342 from SpiNNakerManchester/dependabot/maven/org.eclipse.jgit-org.eclipse.jgit-7.4.0.202509020913-r

Bump org.eclipse.jgit:org.eclipse.jgit from 7.3.0.202506031305-r to 7.4.0.202509020913-r

Author: rowleya

pom.xml

@@ -390,7 +390,7 @@ limitations under the License.
 			<dependency>
 				<groupId>org.eclipse.jgit</groupId>
 				<artifactId>org.eclipse.jgit</artifactId>
-				<version>7.3.0.202506031305-r</version>
+				<version>7.4.0.202509020913-r</version>
 				<exclusions>
 					<exclusion>
 						<groupId>org.apache.httpcomponents</groupId>