On 2011-08-03 at 18:34:25 [+0200], Brecht Machiels <brecht@xxxxxxxxxxx> wrote: > At Wednesday, 03-08-2011 on 17:47 Oliver Tappe wrote: [ ... ] > > > > I already filed a ticket at end of June, yielding the following > > correspondence: > > > > ... > > > > Clearly, they don't show much intent to fix the problem. > > Understandably, as Haiku is the *only* project tagging each and every > changeset. This is clearly not the intended use for tags. But I don't > suppose the few people in favor of the tags have changed their mind about > it yet? :) Dunno - ask them ;-) > Maybe you can choose not to mirror the tags at GitHib? But that kind of > defeats their purpose. Sure, we can do that - and it wouldn't even be *so* bad, since the peculiar ways in which Github works requires you to checkout not only your own Haiku-fork, but to fetch the master branch from either Github's Haiku mirror or the original. One has to do this in order to be able to pull newer revisions into your fork repo (and then push those to Github). If we instruct people to fetch master from git.haiku-os.org, we could drop the tags from the Github mirror (since they basically just do harm there). The tags would then still be pulled in from the "upstream" master, so they'd be available in the local working repository. cheers, Oliver