On Tuesday 23 December 2014 17:45:23 Milian Wolff wrote:
> +1 to all of the above. What about tags btw? In KDevelop e.g. it would only
> be a nuisance if someone would delete one of our "stable" branches, but
> deleting one of the release tags would be ugly as I'd then need to figure
> out what commit was chosen for what release.
>
> Bye and thanks for your continuous work Ben, much appreciated! Take care.
Tags shouldn't be deleted, period. That's something for the repo owner, in
case of a mistake.
Also note that people will get those tags and git remote prune doesn't delete
them. So don't push bad tags.
--
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
Software Architect - Intel Open Source Technology Center
PGP/GPG: 0x6EF45358; fingerprint:
E067 918B B660 DBD1 105C 966C 33F5 F005 6EF4 5358
