def push_docs(deploy_branch='<STR_LIT>', retries=<NUM_LIT:5>):
code = <NUM_LIT:1><EOL>while code and retries:<EOL><INDENT>print("<STR_LIT>")<EOL>code = run(['<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>',<EOL>'<STR_LIT>', deploy_branch], exit=False)<EOL>print("<STR_LIT>")<EOL>code = run(['<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>',<EOL>'<STR_LIT>'.format(DOCTR_WORKING_BRANCH, deploy_branch)], exit=False)<EOL>if code:<EOL><INDENT>retries -= <NUM_LIT:1><EOL>print("<STR_LIT>")<EOL>time.sleep(<NUM_LIT:1>)<EOL><DEDENT>else:<EOL><INDENT>return<EOL><DEDENT><DEDENT>sys.exit("<STR_LIT>")<EOL>
Push the changes to the branch named ``deploy_branch``.

Assumes that :func:`setup_GitHub_push` has been run and returned True, and
that :func:`commit_docs` has been run. Does not push anything if no changes
were made.