pr-123, maybe just
#123-foo? I find that I can't see enough of the "human readable" text in Zulip =)
Can you use
# in a name of a topic?
Oh shit. If you do that, Zulip adds a link button.
This changes everything.
wait, it does?
Little blue button next to the name.
Lets rename all the topics.
I don't know if there's a "mass rename" option...
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.
Recent ones have changed.
yeah, i just noticed it, was trying to figure out how to get the blue arrow button
i tried inserting the GH link directly, didn't work, but now i know it's just a matter of prepending the #