Introduce retry option for git push.

This commit is contained in:
Greg L. Turnquist
2022-08-29 10:49:30 -05:00
parent 8acc42f658
commit b9f6fae8ef
3 changed files with 37 additions and 4 deletions

1
Jenkinsfile vendored
View File

@@ -40,6 +40,7 @@ pipeline {
PASSPHRASE = credentials('spring-gpg-passphrase')
KEYRING = credentials('spring-signing-secring.gpg')
SONATYPE = credentials('oss-login')
GPG_KEYNAME = credentials('spring-data-release-gpg-keyname')
}
steps {