search

wozeparrot / tinymod

tinygrad's premier discord moderation bot
Apache License 2.0
7 stars 3 forks source link

Issue/PR linker #12

Closed wozeparrot closed 1 year ago

wozeparrot commented 1 year ago

Might be helpful to have, needs to be not annoying.

Maybe something like GH#<pr/issue number> or ##<pr/issue number>, cuz i think just having it on #<pr/issue number> might be too annoying for people who don't realize that it exists.

wozeparrot commented 1 year ago

On second thought, we could have it on just #<pr/issue number> but we need a better embed than the default one that github uses. The default is way too large. we just need a simpler/smaller one with a link.

wozeparrot commented 1 year ago

It's on #<pr/issue number> for now, we'll see how it goes.