mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[github] Bump number of cloning attempts to 10
This commit is contained in:
@@ -85,7 +85,7 @@ class GithubCreatePullRequestTest : GithubGitRepoTest() {
|
||||
repository.apply {
|
||||
git("remote add origin ${repo.cloneUrl}")
|
||||
// fork is initialized in background and there's nothing to poll
|
||||
for (i in 1..5) {
|
||||
for (i in 1..10) {
|
||||
try {
|
||||
git("fetch")
|
||||
break
|
||||
|
||||
Reference in New Issue
Block a user