Make build try git pull 3 times #1525

Merged
max.mehl merged 1 commits from retry-gitpull into master 2020-07-28 13:59:09 +00:00
Owner

Fixes #1260

Fixes #1260
max.mehl requested review from reinhard 2020-07-27 14:16:02 +00:00
reinhard approved these changes 2020-07-28 13:05:02 +00:00
reinhard left a comment
Member

Looks good to me!

Looks good to me!
max.mehl merged commit f36d5c98b7 into master 2020-07-28 13:59:09 +00:00
max.mehl deleted branch retry-gitpull 2020-07-28 13:59:18 +00:00
Sign in to join this conversation.