Skip to content

fix(Git): Work around a bug with JGit vs MINA #3053

fix(Git): Work around a bug with JGit vs MINA

fix(Git): Work around a bug with JGit vs MINA #3053

Triggered via push January 30, 2025 08:32
Status Success
Total duration 1m 57s
Artifacts
scorecard-analysis
1m 50s
scorecard-analysis
Fit to window
Zoom out
Zoom in