diff options
Diffstat (limited to 'scripts/dev/check_doc_changes.py')
| -rwxr-xr-x | scripts/dev/check_doc_changes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/check_doc_changes.py b/scripts/dev/check_doc_changes.py index 53ef12090..b20a81455 100755 --- a/scripts/dev/check_doc_changes.py +++ b/scripts/dev/check_doc_changes.py @@ -31,7 +31,7 @@ from scripts import utils code = subprocess.run(['git', '--no-pager', 'diff', '--exit-code', '--stat', '--', 'doc'], check=False).returncode -if os.environ.get('GITHUB_REF', 'refs/heads/master') != 'refs/heads/master': +if os.environ.get('GITHUB_REF', 'refs/heads/main') != 'refs/heads/main': if code != 0: print("Docs changed but ignoring change as we're building a PR") sys.exit(0) |