diff options
author | 2024-02-19 21:06:40 +0000 | |
---|---|---|
committer | 2024-02-19 21:06:40 +0000 | |
commit | 8a645c513b8dd5f85a958d4b6a97179c31e079ba (patch) | |
tree | 0d47c3fb9fadb1bc31f02661829883a55a468883 /docs | |
parent | Move some ruff config under the lint namespace (diff) |
Lint codebase with new ruff rules
Diffstat (limited to 'docs')
-rw-r--r-- | docs/conf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index b06300a3..2b68fc0f 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -227,7 +227,6 @@ if os.getenv("BUILD_DOCS_FOR_HEAD", "False").lower() == "true": with contextlib.suppress(git.InvalidGitRepositoryError): branch = git.Repo(PROJECT_ROOT).active_branch.name - if branch: logger.info(f"Adding branch {branch} to build whitelist.") smv_branch_whitelist = f"main|{branch}" |