Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The problem in the ticket is that Git does not checkout the wanted branch, but simply checks out master branch and resets it to the HEAD of the given branch. This means that any scripts in the build that rely on the name of the git-branch in the repo will not see the name they expect to see. We do not want to simply checkout the branch every time, as that will leave a lot of "dangling" branches if the branch names are changed with time. So, the decision is to do the same thing we did till now, but also add a step for renaming the branch to the expected name, and make sure the fetching will reset to the wanted revision.
- Loading branch information