diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 68ebe6b..1c7d19f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,8 +5,6 @@ on: pull_request: branches: - main - schedule: - - cron: "0 7 * * 1" jobs: python-library: diff --git a/pyproject.toml b/pyproject.toml index 2b5e157..db4a726 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,6 +1,6 @@ [project] name = "website-build-tools" -version = "0.1.12" +version = "0.1.13" description = "tools for building websites, used by defelement.org and quadraturerules.org" readme = "README.md" requires-python = ">=3.10.0" diff --git a/webtools/__init__.py b/webtools/__init__.py index 7feec0c..f578004 100644 --- a/webtools/__init__.py +++ b/webtools/__init__.py @@ -1,3 +1,3 @@ """Website building tools.""" -__version__ = "0.1.12" +__version__ = "0.1.13" diff --git a/webtools/markup.py b/webtools/markup.py index 0415581..a4ef822 100644 --- a/webtools/markup.py +++ b/webtools/markup.py @@ -213,7 +213,7 @@ def list_contributors(format: str = "html") -> str: if len(page) == 0: break for user in page: - if user.login not in included: + if user.login not in included and user.login != "github-actions[bot]": extras.append((user.login, user.name)) i += 1 if len(extras) > 0: @@ -260,7 +260,7 @@ def list_contributors(format: str = "html") -> str: if len(page) == 0: break for user in page: - if user.login not in included: + if user.login not in included and user.login != "github-actions[bot]": if format == "bibtex": names.append("others") else: