I did not suggest using any existing deployment branches for this purpose. If we use the tags for demotime, we can just have a demotime branch.
The
tags are utterly meaningless to "consumers", they are just an internal tool for
the team.
Indeed. Git tags are not "internal" though. They affect everyone dealing with the repo. Thus if we go do something with them which is unexpected for consumers, we negatively affect them.
Look here for instance:
https://github.com/wikimedia/mediawiki-extensions-Diff/GitHub thinks it has 36 releases, and packagist things the latest release is 2013-06-something.
Cheers
--
Jeroen De Dauw
http://www.bn2vs.comDon't panic. Don't be evil. ~=[,,_,,]:3
--