On 4/22/20 11:32 AM, Joel M. Halpern wrote:
Let's take this apart.
We can't and won't stop individuals from developing drafts using github.
Nor can we stop them from posting pointers to those githubs on WG
email lists.
Similarly, we can't and won't stop design teams from using github.
Ideally, I think people should be able to use whatever tools they want
to use. However, those choices do affect people's ability to work
together and sometimes individuals have to make compromises in order to
work effectively with others. These conflicts are not new; they've
been around as long as I've been programming.
Github is problematic for several reasons and I don't really think the
community has come to terms with that yet. (Just like, say, using HTML
email is problematic for several reasons that we really haven't come to
terms with yet.) IMO the thing to do is try to avoid learn from the
experience with github (or HTML email) and use that experience to
develop better tools. But also we should try to avoid painting
ourselves into corners.
It's not wrong to focus attention on github's problems. Denial is not
a virtue.
Keith
