Merge pull request #340 from drdoctr/up-retries

Increase the number of retries
drdoctr · Feb 1, 2019 · 0f19ff7 · 0f19ff7
2 parents 85dff09 + 975f009
commit 0f19ff7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doctr/travis.py b/doctr/travis.py
@@ -533,7 +533,7 @@ def commit_docs(*, added, removed):
 
     return False
 
-def push_docs(deploy_branch='gh-pages', retries=3):
+def push_docs(deploy_branch='gh-pages', retries=5):
     """
     Push the changes to the branch named ``deploy_branch``.