> On 07/01/2014, at 11.59, Mickael Istria <[email protected]> wrote: > > IMO, it's just fine to drop the concept of tags and to use only commitId > (which are as good as tags).
I just want to point out this is very wrong. Commit ids are *not* as good as tags. Git history can be rewritten that changes this. Likewise can tags but they at least keep the same name. I.e. The discussed reorg of jsdt would break commitids but tags would still work. _______________________________________________ wtp-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/wtp-dev
