I have done it both ways, and it seems that folks prefer it more when
the discussion appears to be less formalized. My current/personal
thoughts are, use github internally, only as an author's aid. That
is, don't mention the GitHub issue to the WG list at all.
I have no issue with there being
Hi,
From the wg chair perspective:
The working group has not decided how Github should be used, and at this
point we defer to the authors / editors on their preferred method. But in
all cases, issue resolution must be reviewed with the working group.
Editors / authors have a lot of
