Details
-
Sub-task
-
Status: Open
-
Major
-
Resolution: Unresolved
-
None
-
None
-
None
Description
As part of the release process we create a separate branch and tag that currently use the same name (e.g., release-1.13.3-rc1).
This makes it more complicated to push the branch/tag because you always need to tell git which of the 2 you are referencing.
We should use a different name for the branch to remedy that. It is only temporary anyway.