From 2bcc2d9542bfef1270019dd72740324c1d18a2e7 Mon Sep 17 00:00:00 2001 From: Nanda H Krishna Date: Thu, 27 May 2021 21:23:01 +0530 Subject: [PATCH] Configure git user before Homebrew PR creation When using `brew bump-formula-pr` to update the cbmc Homebrew Formula, git user credentials are not set, causing commits to be attributed to "runner". This PR ensures that the name and email are configured prior to creating version bump PRs for Homebrew. --- .github/workflows/release-packages.yaml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml index e254e13a012..4a96b2f9571 100644 --- a/.github/workflows/release-packages.yaml +++ b/.github/workflows/release-packages.yaml @@ -134,6 +134,10 @@ jobs: # The GITHUB_REF we get has refs/tags/ in front of the tag name so we # strip that here run: echo "RELEASE_TAG=${GITHUB_REF/refs\/tags\/}" >> $GITHUB_ENV + - name: Configure git user name and email + uses: Homebrew/actions/git-user-config@07da0794847043a11761f14c97cc682577c74d5d + with: + username: db-ci-cprover - name: Create homebrew PR run: | brew update-reset