From 3e1661a1832fdd38946f97f46a1a3c74a2fb4965 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Tue, 28 Jul 2020 18:04:52 +0200 Subject: Use "fetch-depth: 0" to retrieve all history from remote --- .github/workflows/setup_git.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 .github/workflows/setup_git.sh (limited to '.github/workflows/setup_git.sh') diff --git a/.github/workflows/setup_git.sh b/.github/workflows/setup_git.sh new file mode 100755 index 0000000000..bd79daf268 --- /dev/null +++ b/.github/workflows/setup_git.sh @@ -0,0 +1,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 -- cgit v1.2.3-70-g09d2