Stream: zulip

Topic: #1 and #2


nikomatsakis (Aug 07 2018 at 19:00, on Zulip):

test

nikomatsakis (Aug 07 2018 at 19:00, on Zulip):

@davidtwco but this works for me

nikomatsakis (Aug 07 2018 at 19:00, on Zulip):

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

davidtwco (Aug 07 2018 at 19:01, on Zulip):

I see them in both topics, interesting.

nikomatsakis (Aug 07 2018 at 19:01, on Zulip):

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

nikomatsakis (Aug 07 2018 at 19:01, on Zulip):

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

nikomatsakis (Aug 07 2018 at 19:01, on Zulip):

I was just too lazy to follow up

nikomatsakis (Aug 07 2018 at 19:01, on Zulip):

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

nikomatsakis (Aug 07 2018 at 19:01, on Zulip):

though ideally not too much

nikomatsakis (Aug 07 2018 at 19:01, on Zulip):

I find Discord a bit distracting

davidtwco (Aug 07 2018 at 19:02, on Zulip):

You can, there are bots that do it.

davidtwco (Aug 07 2018 at 19:03, on Zulip):

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

davidtwco (Aug 07 2018 at 19:03, on Zulip):

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

scottmcm (Aug 08 2018 at 20:38, on Zulip):

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

nikomatsakis (Aug 08 2018 at 20:42, on Zulip):

seems like I should figure out how to add that bot

nikomatsakis (Aug 08 2018 at 20:43, on Zulip):

those links did not immediately give me actionable steps :)

davidtwco (Aug 08 2018 at 20:45, on Zulip):

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

davidtwco (Aug 08 2018 at 20:45, on Zulip):

It's not super trivial.

Last update: Nov 17 2019 at 07:00UTC