summaryrefslogblamecommitdiff
path: root/.github/workflows/setup_git.sh
blob: bd79daf268a53bd5b582d749f4217aefb81cea15 (plain) (tree)
1
2
3
4
5
6
7
8
9








                                                  
#!/usr/bin/env sh
git config --global user.email "spack@example.com"
git config --global user.name "Test User"
# With fetch-depth: 0 we have a remote develop
# but not a local branch. Don't do this on develop
if [ "$(git branch --show-current)" != "develop" ]
then
  git branch develop origin/develop
fi