Re: Ticket notifications in IRC

[Kevin Fenzi]

On Tue, Jul 13, 2021 at 11:59:15AM -0700, Kevin Fenzi wrote:
...snip...

Duh, I forgot the thing that made me make this aside:
> A: Hey, can you update foo for new bar?
> B: Sorry, I am busy, can you submit a PR?
> A: Sure!
> ...minutes pass...

fm-channelbot: PR#123456 filed on foo: Subject: adjust for new bar
A: ^
> A: Hey B! I filed PR#123456 for that. Can you merge it?

(just after the bot announced the thing)
> B: I'm still busy, but will look at it when I can, also CI is still
> running on it.
> ...time passes...
> A: Hey B: CI passed on PR#123456! can you merge it?

kevin