Re: [Ietf-and-github] GitHub usage for GIT

[Christopher Wood <[e-mail]>]

On Tue, Apr 9, 2019 at 6:24 PM Mark Nottingham <[e-mail]> wrote:
>
> > On 10 Apr 2019, at 1:56 am, Christopher Wood <[e-mail]> wrote:
> >
> > WG contributors are encouraged to post issues on the documents
> > either on the mailing list or as issues in the GitHub issue list. The
> > authors will use the GitHub issues list to keep track of open and
> > closed issues, but all substantive discussion of the issues should be
> > on the mailing list. Thus, if an issue is opened on GitHub, the
> > document authors should copy it to the list for discussion. Similarly,
> > if an issue comes up first on the mailing list, the authors will open
> > an issue on GitHub to help track it.
>
> Creating issues in GitHub already has a very low bar, so I'm not sure this is encouraging good behaviour; effectively, this is making the authors do work for anyone who cares to create an issue, no matter how trivial. If the volume is low this might suffice, but is this something we want to promote to other WGs?

I suspect the volume will be quite low, which is why the text is
framed as such. (Perhaps that list "will" could be a "may.") In
general, authors should use their best judgement here. If an issue
arises on the list that they don't want to lose sight of, file an
issue on the corresponding draft's repo.

> (I was tempted to open an issue on GitHub to prove my point here, but I won't abuse the authors...yet).

:-)

Best,
Chris