The script then does not correctly checkout develop in all cases. Instead it will try to checkout the branch corresponding to the branch name of the repository that is currently being built. Already fixed this for Groupsig, but this issue serves as a reminder.
The script then does not correctly checkout develop in all cases. Instead it will try to checkout the branch corresponding to the branch name of the repository that is currently being built. Already fixed this for Groupsig, but this issue serves as a reminder.