Re: [Tools-discuss] Why post text and not XML? (was: I-D statistics)

[Carsten Bormann <[e-mail]>]

> How do i create such 'crefs' from markdown ?

Using markdown footnote syntax:

   This encoding only supports even-shaped widgets. [^foo]

   [^foo]: We have to put in support for odd-shaped widgets, as well.
       Maybe we can snap off the odd part first?  Or use CBOR? :-)

> A github issue or pull discuss is a process. The result of this
> could/should be an inline comment, maybe even with backreference to the issue/pull.
> Aka: both have different purpose and could well co-exist/help each other and
> improve the creation/tracking process.

Until someone does a convincing PoC, I’m skeptical.
Please surprise me.

> I very much like github process. I struggle figuring out, how to best
> keep discussions on WG mailing list and github in-sync.

Please talk to your WG chair.
(Might involve a mirror, I know.)

> I think/fear
> that we would have to provide drops from github to mailing list upon
> closure of pull/issues, so instead of that the comment in the document itself
> might be another way to keep track of such "WG work" that happened on github
> instead of the mailing list. Thats why i started to get interested in this thread.

Indeed, discuss on your git forge, decide on the mailing list.
Having someone summarize a meandering git forge issue thread to the mailing list can be a great help to focus on the actual decisions needed.
(BTW, that someone traditionally is the WG chair…)

Grüße, Carsten