Re: [Tei-council] TEI repo labels

Regarding the original question: * a label for discussing labels or other github topics (maybe “meta” or “label”) I don’t think we should have a label for labels, „GitHub“ (as a label) is too constrained to me for which I like „meta“ better. Yet, I wonder if we need to label everything? (BTW, GitHub has the nice feature of filtering for ’no:label’ which will give you all those issues that we failed to label – for whatever reason) * a label for queries like the newest issue. That is quite common in many (GitHub) projects and is often labeled „question“. Cheers Peter

Am 15.08.2021 um 22:08 schrieb Bauman, Syd :

As I said, I’m with ya, mate.

I think if the TEI is to move away from mailing lists to something more modern (i.e. more transiently fashionable) such as Discord or whatever), that should be decision for the whole community to take.* But it doesn't make sense to mix random queries and discussions with tickets, partly because queries and discussions benefit the whole community, and everyone sees them when they show up on the mailing list. When someone raises a ticket, only a small subset of the community will even be aware of it.

*Personally I think mailing lists are excellent for our purposes, and it's no bad thing to encourage younger users to get familiar with them. But if we were to migrate to something else, I think it should be a complete migration, rather than fragmenting the community discussions across multiple platforms.

_______________________________________________ Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council