Closed Blackhex closed 2 weeks ago
Since .github/scripts/update-sources.sh is doing --single-branch clone, switching to any other branch fails as the other branch do no exists locally. This PR check whether the branch exsits and adds it to the local index before actual switch.
.github/scripts/update-sources.sh
--single-branch
Since
.github/scripts/update-sources.sh
is doing--single-branch
clone, switching to any other branch fails as the other branch do no exists locally. This PR check whether the branch exsits and adds it to the local index before actual switch.