set git user name/email prior to merging upstream (#2448)

This commit is contained in:
Dave Protasowski 2022-03-01 10:09:41 -05:00 committed by GitHub
parent fe26417344
commit 76a28b066d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions

View File

@ -96,6 +96,12 @@ jobs:
shell: bash
working-directory: ./src/knative.dev/${{ github.event.repository.name }}
run: |
if ! git config user.name > /dev/null; then
git config user.name "Knative Action"
fi
if ! git config user.email > /dev/null; then
git config user.email "action@knative.dev"
fi
git remote add upstream https://github.com/${{ github.repository }}.git
git fetch upstream ${{ github.base_ref }}
git pull --no-rebase --no-commit upstream ${{ github.base_ref }}