Update 'Maven/1.1.0/jenkins-releases-dry-run-settings.xml' #1
Loading…
Reference in New Issue
No description provided.
Delete Branch "roberto.cirillo-mirror-1"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
added mirrors definiton (see #19541)
Do the following must be updated as well with the new mirrors?
Another note: next time, please make the changes in a branch named feature/ticket_number within this repo. It will make it possibile to review and comment the changes in each line of each commit (it's not allowed in a private repo because of the ownership).
You are right,sorry.
I'm going to update gcube-developer-settings.xml and jenkins-job-settings.xml as well
gcube-developer-settings.xml and jenkins-job-settings.xml updated.