Skip to content

Commit 99bbb3e

Browse files
committed
planning/scribing: [How To Scribe On IRC] How to not comment on github issue
1 parent 1be61fa commit 99bbb3e

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

planning/scribing.txt

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,10 @@ For topics on GitHub, you can ask github-bot to set the topic and post the minut
2828

2929
You can end a topic by either starting a new topic, or telling github-bot to ''end topic''. This will tell github-bot to post the minutes to a comment in the issue.
3030

31+
If you don't want github-bot to comment in the issue, use this command:
32+
33+
github: none
34+
3135
You can also use "Subtopic" instead of "Topic" for subtopics, to create a hierarchy when there are related topics. It otherwise has the same effect as "Topic".
3236

3337
Once you've set the topic, people can start discussing it. To record what people are saying, use their IRC nickname like so. You don't need to write every word; just a summary of what they are saying.

0 commit comments

Comments
 (0)