backport of commit 5cdce48a6a8380c185cf962a8e0768be006230e2 (#23347)

Co-authored-by: Ryan Cragun <me@ryan.ec>
This commit is contained in:
hc-github-team-secure-vault-core 2023-09-27 19:07:51 -04:00 committed by GitHub
parent d2465da3fd
commit 302284aafa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -81,5 +81,5 @@ check_pr_status() {
return 0
}
# Retry a few times because it can take some time for replication to sync
retry 5 check_pr_status
# Retry for a while because it can take some time for replication to sync
retry 10 check_pr_status