Skip to content

Upgrade jGit to 7.0.1.202505221510-r #1239

New issue
New issue
Closed
Closed
Upgrade jGit to 7.0.1.202505221510-r#1239
Assignees
odrotbohm
Labels
in: infrastructureBuild / CI / Releasetype: dependency-upgradeUpgrade of third-party libraries
Milestone
1.3.7
@odrotbohm

Description

@odrotbohm
odrotbohm
opened on Jun 13, 2025
No description provided.

Metadata

Metadata

Assignees

Labels

in: infrastructureBuild / CI / Releasetype: dependency-upgradeUpgrade of third-party libraries

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions