From 938248987dd83ec48154715a35858076b4e5b18a Mon Sep 17 00:00:00 2001 From: Philipp Burckhardt Date: Thu, 22 Feb 2024 18:26:06 -0500 Subject: [PATCH] build: sign commits in REPL docs workflow --- .github/workflows/update_repl_docs.yml | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/.github/workflows/update_repl_docs.yml b/.github/workflows/update_repl_docs.yml index 086cd0dbfa78..57795db176ca 100644 --- a/.github/workflows/update_repl_docs.yml +++ b/.github/workflows/update_repl_docs.yml @@ -105,6 +105,16 @@ jobs: run: | rm -rf .git/hooks + # Import GPG key to sign commits: + - name: 'Import GPG key to sign commits' + # Pin action to full length commit SHA + uses: crazy-max/ghaction-import-gpg@01dd5d3ca463c7f10f7f4f7b4f177225ac661ee4 # v6.1.0 + with: + gpg_private_key: ${{ secrets.STDLIB_BOT_GPG_PRIVATE_KEY }} + passphrase: ${{ secrets.STDLIB_BOT_GPG_PASSPHRASE }} + git_user_signingkey: true + git_commit_gpgsign: true + # Create a pull request: - name: 'Create pull request' id: cpr @@ -118,7 +128,8 @@ jobs: - updates the REPL namespace documentation commit-message: 'docs: update REPL namespace documentation' - committer: 'stdlib-bot ' + committer: 'stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>' + signoff: true token: ${{ secrets.PULL_REQUEST_TOKEN }} labels: | documentation