- From: Léonie Watson <tink@tink.uk>
- Date: Fri, 5 Oct 2018 18:23:58 -0300
- To: Florian Rivoal <florian@rivoal.net>, David Singer <singer@apple.com>
- Cc: W3C Process CG <public-w3process@w3.org>, "L. David Baron" <dbaron@dbaron.org>
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
Received on Friday, 5 October 2018 21:25:40 UTC