On Wednesday, January 10, 2024 at 6:50:10 AM UTC-8 William Stein wrote:
the main act of censure that the sage-abuse committee will be
taking going forward will be to delete comments (on github and mailing
lists) that violate the code of conduct.
William, Volker, I've already shared privately i
Can someone from this list confirm that the PR Matthias linked (#37411) is
okay i.e. not the topic of the debate in this thread? The added
documentation seems harmless to me, advertises using git worktree, and can
be updated when the discussion in this thread has a conclusion e.g. if
upstream i
