16:45
<ljharb>
thoughts on making the proposals table more concise by changing all the people's names to their notes shortcut + a link to the line in delegates.txt?
16:55
<ptomato>
could we just delete the authors and champions columns?
16:55
<ptomato>
that info is in each proposal's README anyway and the proposals table is just one more place for it to get out of date
16:57
<Michael Ficarra>
@ptomato it's a useful way to find which proposals a person is championing
16:57
<nicolo-ribaudo>
Do GitHub tables support <abbr> elements? <abbr title="Nicolò RIbaudo">NRO</abbr>
16:57
<Michael Ficarra>
(ashamedly, I have to search my own name on this page sometimes to remind me what I have to work on)
16:58
<ptomato>
I was going to ask "how often do you have to search the proposals page to look up what someone is championing" but I guess I have my answer 😄
16:59
<Michael Ficarra>
not all of us can focus on a single proposal for 7 years straight
17:00
<ptomato>
how dare you sir. I've only been at this particular grindstone for 5 years 😄
17:01
<ljharb>
yeah i definitely don't want to delete the info; individual proposals are inconsistent at storing info, which is why we added the reviewers column.
17:01
<ljharb>
i can definitely use an <abbr> as well as a link, that seems pretty accessible. including the full name will make the markdown much larger but the rendered table smaller.
17:02
<Richard Gibson>
sadly not: https://github.com/orgs/community/discussions/9681
17:02
<ljharb>
boo
17:03
<ljharb>
so would just [JHD](link to my line in delegates.txt) be acceptable? i don't want to type out a full <a> :-)
17:03
<nicolo-ribaudo>
I guess we could start by shortening/removing the author and not the champion? It seems like it's less relevant info
17:03
<ljharb>
ah, just realized authors might not have delegates abbreviations
17:03
<ljharb>
so the shortening would only work for delegates
17:52
<Michael Ficarra>
still an improvement I guess
18:01
<bakkot>
I would prefer to keep the full names because I have not memorized everyone's abbreviations
18:01
<bakkot>
so it would be much harder to read if we replaced names with abbreviations
18:01
<bakkot>
I don't think concision is all that valuable for this
18:13
<ljharb>
even if all the abbreviations were clickable?
18:14
<Michael Ficarra>
I mean it's a big table and GH squeezes it into 900px
18:14
<Michael Ficarra>
concision helps
18:17
<ljharb>
another benefit is that there'd be a single source of truth for the correct spelling/accents/etc of someone's name
19:15
<bakkot>
yes because then I have to scroll through the entire table clicking every abbreviation
19:15
<bakkot>
which is much worse than just reading it
19:39
<ljharb>
would a hover with the full name (which is probably still worse) be tolerable?
19:42
<kriskowal>
If it also reminds me that Kevin means bakkot 😉
23:10
<nicolo-ribaudo>
This is super early, however — a few of us will be taking the train to go to the A Coruña meeting in May (mostly from NL and UK). If anybody traveling from somewhere in western Europe wants to join us please write me a message by the end of February :)

More details about this, if anybody wants to join. Right now we are about 5 people.

https://noiseless-session-654.notion.site/A-Coru-a-2025-1aa8f6ddcc15807597f3ceb31cbd162f

Feel free to message me :)