@davidtwco but this works for me
maybe we shouldn't put dashes in the names anyway :)
I see them in both topics, interesting.
also, I should really figure out if there is a way to get "previews" of the links...
I think you did the research on this at some point, no?
I was just too lazy to follow up
e.g., it'd be nice to see a little info about what issue it is
though ideally not too much
I find Discord a bit distracting
You can, there are bots that do it.
Yeah, I much prefer rustbot's !gh behaviour to the discord preview boxes
seems like I should figure out how to add that bot
those links did not immediately give me actionable steps :)
This has some steps: https://zulipchat.com/api/running-bots - it mentions running existing bots from places like https://github.com/zulip/python-zulip-api/tree/master/zulip_bots/zulip_bots/bots/github_detail
It's not super trivial.