It is necessary for our develop branch to be tagged because our build process takes the tag name as the semver build version, e.g. v3.5.1. Develop branch can be built any time and deployed to staging server automatically.
However, gitflow model only describes how and when to tag master branch. If I start tagging develop branch as well, I will "lose" those names and won't be able to use them for tagging master branch.
I could for example tag the develop branch to something bigger than current master, every time I tag the master. But then I would have to remember to next time tag the master to something bigger than previous develop tag.
Any other advice how to manage this workflow?