- From: Florian Rivoal <florian@rivoal.net>
- Date: Thu, 4 Oct 2018 12:11:00 +0900
- To: David Singer <singer@apple.com>
- Cc: W3C Process CG <public-w3process@w3.org>, "L. David Baron" <dbaron@dbaron.org>
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
Received on Thursday, 4 October 2018 03:11:26 UTC