- From: David Singer <singer@apple.com>
- Date: Sun, 07 Oct 2018 17:12:53 +0800
- To: Léonie Watson <tink@tink.uk>
- Cc: Florian Rivoal <florian@rivoal.net>, W3C Process CG <public-w3process@w3.org>, "L. David Baron" <dbaron@dbaron.org>
I’d be up for it. we might need remedial training on IRC behavior. > On Oct 6, 2018, at 5:23 , Léonie Watson <tink@tink.uk> wrote: > > Thanks Florian. +1 to adopting the bot. > > > On 04/10/2018 00:11, Florian Rivoal wrote: >> Hi Chair and Process CG, >> David Baron has written a very useful little IRC bot, that's been in use in a number of WGs, and that I have just configured to be usable in the Process CG as well. >> It posts minutes from IRC directly into the relevant github issue, highlighting any resolution taken within these minutes. It does so based on existing minuting conventions plus one new command. As a side effect, if we make the bot a member of the group so that it has the necessary access rights, if the issue it posts minutes to has an Agenda+ label, it will remove it, since the existence of minutes proves that the topic has been discussed. >> I suggest we adopt it. >> == Minuting, before == >> scribe: Topic: Foo >> scribe: someone: I suggest we should fizbuz the blah >> scribe: sometwo: That sounds great >> scribe: Resolved: Accept suggestion to fizbuz the blah >> scribe: Topic: Bar >> scribe: Somethree: I don't think we have quorum today to discuss this >> scribe: Chair: sure, let's postpone to next call >> == Minuting, after == >> scribe: Topic: Foo >> scribe: github: https://github.com/w3c/w3process/issues/1234 >> * github-bot OK, I'll post this discussion to https://github.com/w3c/w3process/issues/1234 >> scribe: someone: I suggest we should fizbuz the blah >> scribe: sometwo: That sounds great >> scribe: Resolved: Accept suggestion to fizbuz the blah >> scribe: Topic: Bar >> * github-bot Successfully commented on https://github.com/w3c/w3process/issues/1234 >> scribe: github: https://github.com/w3c/w3process/issues/5678 >> * github-bot OK, I'll post this discussion to https://github.com/w3c/w3process/issues/5678 >> scribe: Somethree: I don't think we have quorum today to discuss this >> scribe: Chair: sure, let's postpone to next call then >> scribe: github: none >> * github-bot- OK, I won't post this discussion to GitHub. >> ==== >> The result looks like this: https://github.com/w3c/csswg-drafts/issues/3020#event-1803071187 >> Full documentation: https://github.com/dbaron/wgmeeting-github-ircbot >> —Florian > > -- > @LeonieWatson @tink@toot.cafe Carpe diem David Singer Manager, Software Standards, Apple Inc.
Received on Sunday, 7 October 2018 09:13:29 UTC