July 2020 - Tei-council - lists.tei-c.org

Next meeting: July 14
by Scholger, Martina (martina.scholger＠uni-graz.at) 10 Jul '20

10 Jul '20

Dear all, Our next Council meeting is on Tuesday, July 14 at EST 09:00-10:30 / GMT 14:00-15:30 / CEST 15:00-16:30. Please add issues to the agenda that you want to discuss on Tuesday: https://docs.google.com/document/d/1ffGOmKq_EY_ZFBNMfoR59VlX6QfaHBuwCpmvOvH… The Zoom-link is in the google doc. Best, Martina

1 0

Stylesheets coop meeting
by Scholger, Martina (martina.scholger＠uni-graz.at) 06 Jul '20

06 Jul '20

Dear all, I've set up a zoom meeting for our cooperative Stylesheets meeting tomorrow at 6:00 PDT / 9:00 EDT / 14:00 BST / 15:00 CEST: https://us02web.zoom.us/j/83142838842?pwd=NUFSS05UNXVEWnlTQkpzUDBmVDdndz09 Best, Martina

1 0

ack! bad Syd, bad!
by Syd Bauman 04 Jul '20

04 Jul '20

I just went to see from whom I am taking over as ticket triage person only to find that I screwed up, I was the ticket triage person for June, not July. Elisa -- you are the ticket triage person for July. I plan to make a run through the tickets tomorrow, and will hand the baton over to you shortly thereafter, OK? Sorry, y'all.

3 4

Git branch naming
by Hugh Cayless 03 Jul '20

03 Jul '20

Hi All, Some of you may have come across the recent move toward changing the default branch name in Git away from "master" to (probably) "main". My understanding is that GitHub is working on this, and that it will probably happen in Git as well. I'm aware of a number of projects that are moving ahead immediately on renaming their master branches. On the one hand, I'm generally in favor of this. The "master" terminology probably came from BitKeeper, which had "master" and "slave" repositories (rather than branches). I had always assumed it was meant in the sense of "master copy", like in sound recordings. But see also https://twitter.com/xpasky/status/1271477451756056577 from the person responsible for the name (not a native English speaker). On the other hand, I'm slightly cynical about this sort of thing, as it's the kind of change one can make and feel righteous about without being *actually* significantly anti-racist. It's a bit performative, but sometimes it's important to set an example. So I think we should consider going through the renaming process for TEI repos. There are probably some implications to doing that, broken links being the first one that comes to mind. What do you all think? Hugh

10 20