Hey,

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.com
Don't panic. Don't be evil. ~=[,,_,,]:3
--
_______________________________________________
Wikidata-tech mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikidata-tech

Reply via email to