Lines Matching +full:update +full:- +full:docs +full:- +full:branch

15 # Build the docs.
23 branch = os.environ['GITHUB_REF']  variable
25 if is_ci and branch != 'refs/heads/master':
26     print('Branch: ' + branch)
27     exit(0) # Ignore non-master branches
29     # Don't update the repo if building in CI from an account that doesn't have
31     print('Skipping update of ' + repo)
39 # Copy docs to the repo.
44     check_call(['git', 'config', '--global', 'user.name', 'fmtbot'])
45     check_call(['git', 'config', '--global', 'user.email', 'viz@fmt.dev'])
47 # Push docs to GitHub pages.
48 check_call(['git', 'add', '--all'], cwd=repo)
49 if call(['git', 'diff-index', '--quiet', 'HEAD'], cwd=repo):
50     check_call(['git', 'commit', '-m', 'Update documentation'], cwd=repo)
56     print(p.communicate()[0].decode('utf-8').replace(os.environ['KEY'], '$KEY'))