Stream: zulip

Topic: #1 and #2


view this post on Zulip nikomatsakis (Aug 07 2018 at 19:00):

test

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:00):

@davidtwco but this works for me

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:00):

maybe we shouldn't put dashes in the names anyway :)

view this post on Zulip davidtwco (Aug 07 2018 at 19:01):

I see them in both topics, interesting.

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:01):

also, I should really figure out if there is a way to get "previews" of the links...

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:01):

I think you did the research on this at some point, no?

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:01):

I was just too lazy to follow up

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:01):

e.g., it'd be nice to see a little info about what issue it is

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:01):

though ideally not too much

view this post on Zulip nikomatsakis (Aug 07 2018 at 19:01):

I find Discord a bit distracting

view this post on Zulip davidtwco (Aug 07 2018 at 19:02):

You can, there are bots that do it.

view this post on Zulip davidtwco (Aug 07 2018 at 19:03):

https://rust-lang.zulipchat.com/integrations/doc/github

view this post on Zulip davidtwco (Aug 07 2018 at 19:03):

https://rust-lang.zulipchat.com/integrations/doc/github_detail

view this post on Zulip scottmcm (Aug 08 2018 at 20:38):

Yeah, I much prefer rustbot's !gh behaviour to the discord preview boxes

view this post on Zulip nikomatsakis (Aug 08 2018 at 20:42):

seems like I should figure out how to add that bot

view this post on Zulip nikomatsakis (Aug 08 2018 at 20:43):

those links did not immediately give me actionable steps :)

view this post on Zulip davidtwco (Aug 08 2018 at 20:45):

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

view this post on Zulip davidtwco (Aug 08 2018 at 20:45):

It's not super trivial.


Last updated: Oct 11 2021 at 22:34 UTC