From 7f708ae0a92c0c11bb02ab5750b7968fa9e08597 Mon Sep 17 00:00:00 2001 From: sdarwin Date: Tue, 17 Sep 2024 18:07:45 -0600 Subject: [PATCH] Modify email address of commitbot in github actions --- .github/workflows/build-docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml index dd03a33..1d2471c 100644 --- a/.github/workflows/build-docs.yml +++ b/.github/workflows/build-docs.yml @@ -38,7 +38,7 @@ jobs: cp generated/* ../docs/ cd .. git config --global user.name 'commitbot' - git config --global user.email 'commitbot@boost.org' + git config --global user.email 'commitbot@example.com' git add docs/* || true git commit -m "Docs: update from proposal/ md files" || true git push