Stream: t-compiler/wg-nll

Topic: new-topic-convention


nikomatsakis (Aug 07 2018 at 17:43, on Zulip):

Instead of issue-123-foo and pr-123, maybe just #123-foo? I find that I can't see enough of the "human readable" text in Zulip =)

davidtwco (Aug 07 2018 at 17:43, on Zulip):

Can you use # in a name of a topic?

davidtwco (Aug 07 2018 at 17:43, on Zulip):

Oh shit. If you do that, Zulip adds a link button.

davidtwco (Aug 07 2018 at 17:44, on Zulip):

This changes everything.

nikomatsakis (Aug 07 2018 at 17:44, on Zulip):

wait, it does?

davidtwco (Aug 07 2018 at 17:44, on Zulip):

Little blue button next to the name.

nikomatsakis (Aug 07 2018 at 17:44, on Zulip):

woah

nikomatsakis (Aug 07 2018 at 17:44, on Zulip):

amazing

davidtwco (Aug 07 2018 at 17:44, on Zulip):

Lets rename all the topics.

nikomatsakis (Aug 07 2018 at 17:44, on Zulip):

I don't know if there's a "mass rename" option...

nikomatsakis (Aug 07 2018 at 17:44, on Zulip):

but yeah!

davidtwco (Aug 07 2018 at 17:48, on Zulip):

I renamed some of mine, but particularly old topics weren't renaming properly and would fork rather than take all messages with it. Not sure why.

davidtwco (Aug 07 2018 at 17:48, on Zulip):

Recent ones have changed.

Keith Yeung (Aug 07 2018 at 18:13, on Zulip):

yeah, i just noticed it, was trying to figure out how to get the blue arrow button

Keith Yeung (Aug 07 2018 at 18:14, on Zulip):

i tried inserting the GH link directly, didn't work, but now i know it's just a matter of prepending the #

Last update: Nov 21 2019 at 23:25UTC