2021-11-26 18:03:05 +00:00
|
|
|
#!/bin/bash -e
|
2020-07-28 16:04:52 +00:00
|
|
|
git config --global user.email "spack@example.com"
|
|
|
|
git config --global user.name "Test User"
|
2021-11-18 12:00:39 +00:00
|
|
|
|
|
|
|
# create a local pr base branch
|
|
|
|
if [[ -n $GITHUB_BASE_REF ]]; then
|
|
|
|
git fetch origin "${GITHUB_BASE_REF}:${GITHUB_BASE_REF}"
|
2020-07-28 16:04:52 +00:00
|
|
|
fi
|