[Artifactory - repo.jenkins-ci.org] Operating the jgit mirror repository

[Damien Duportal]

Hello dear developers,

For information, we're going to operate on the jgit mirrored repository for the next hour as per https://status.jenkins.io/issues/2023-06-08-artifactory-operation/.

No outage is expected at first sight, but we want to cover a lot of different cases so better keep you informed.

As usual any error related to dependency download with jgit, either on ci.jenkins.io our your machines should be reported as answer to this email thread on in the jenkins-infra/helpdesk GitHub issues tracker.

Damien DUPORTAL for the infra team

[Damien Duportal]

Operation is now finished, everything is back to normal.

Have a nice day folks!