Make the filenames of Tails ISOs built from a branch unique
These are the ISO naming rules we currently use, from
# * if we build from a tag: tails-$ARCH-$TAG.iso # * if we build from a branch: tails-$ARCH-$BRANCH-$VERSION-$DATE.iso # * if Jenkins builds from a branch: tails-$ARCH-$BRANCH-$VERSION-$TIME-$COMMIT.iso
For me the most common use case is “build from a branch”, and I may build the same branch multiple times a day. Sometimes I want to keep the old image, but lose it due to the above naming rule, or if I’m lucky and remember this I have to rename the image before I start building.
I propose that we switch to using the same rule for both “build from a branch” and the Jenkins case, using the current Jenkins rule, i.e.:
# * if we build from a tag: tails-$ARCH-$TAG.iso # * otherwise: tails-$ARCH-$BRANCH-$VERSION-$TIME-$COMMIT.iso
Example (from an actual Jenkins build):
This will also reduce the code complexity of
which is a nice bonus. Any objections?
Feature Branch: feature/10349-unique-iso-filenames