Stream: general

Topic: rfcbot.rs needs a short help text...


nagisa (Jan 25 2019 at 20:16, on Zulip):

What title says. My memory is not that good to remember what all the RFC bot commands I may want to do are.

Pietro Albini (Jan 25 2019 at 20:26, on Zulip):

I mean, rfcbot is probably the only bot out there with a formal grammar of the args it accepts in the readme...

Pietro Albini (Jan 25 2019 at 20:27, on Zulip):

(cc @centril, jokes aside it's not a bad idea)

nagisa (Jan 25 2019 at 20:28, on Zulip):

I filled an issue already

centril (Jan 25 2019 at 20:28, on Zulip):

rfcbot accepts roughly the following grammar:

formal-ish ;)

centril (Jan 25 2019 at 20:28, on Zulip):

I think its a good idea

Jake Goulding (Jan 26 2019 at 01:48, on Zulip):

dependabot has a <summary> hidden list of commands you can give it in every PR it opens. I've found that very nice.

Last update: Nov 21 2019 at 23:55UTC