Link to Zulip stream from GitHub issue is broken

[camelid]

Issue

Rustbot's link

https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Use.20sane.20defaults.20in.20x.py.20compiler-team.23326

Actual link

https://rust-lang.zulipchat.com/#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/Improve.20defaults.20in.20x.2Epy.20compiler-team.23326

Diff

-https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Use.20sane.20defaults.20in.20x.py.20compiler-team.23326
+https://rust-lang.zulipchat.com/#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/Improve.20defaults.20in.20x.2Epy.20compiler-team.23326

Summary

I think there are two issues here:

1. Rustbot has xxx instead of t-compiler.2Fmajor-changes
2. The GitHub issue name was changed and Rustbot didn't update the link. I'm not sure if it's worth it, but maybe there's a way to listen for a title change and then update the link or at least post the new one?

Cc https://rust-lang.zulipchat.com/#narrow/stream/233931-t-compiler.2Fmajor-changes/topic/Improve.20defaults.20in.20x.2Epy.20compiler-team.23326/near/204243761

This issue has been assigned to @camelid via this comment.

[camelid]

Alternatively, the solution to problem 2 is to just have the issue number in the Zulip topic and not have the name. Rustbot would post the name as the first message in the topic. The downside is that you have to open the topic to see what it's about, which kind of defeats the purpose of a topic!

[Mark-Simulacrum]

(1) is supposed to work -- according to the Zulip developers, that part of the URL is ignored. We don't actually know the stream name so can't readily insert it.

(2) would be feasible though a bit painful. It looks like there's not a documented way to rename topics through the API. I suspect that most proposals that change titles should probably just open a new proposal, or we can edit the comment for now.

Note that the Github issue name changing shouldn't break links AFAIK -- the problem is that someone changed the title of the topic in Zulip without also updating the issue comment on GitHub.

[Mark-Simulacrum]

Alternatively, the solution to problem 2 is to just have the issue number in the Zulip topic and not have the name. Rustbot would post the name as the first message in the topic. The downside is that you have to open the topic to see what it's about, which kind of defeats the purpose of a topic!

Yeah I think this is basically not going to work, since the topic being useful is much more valuable than preserving the link -- the link, can, after all be readily updated by folks.

[camelid]

@rustbot modify labels to invalid

[camelid]

(1) is supposed to work -- according to the Zulip developers, that part of the URL is ignored. We don't actually know the stream name so can't readily insert it.

We don't know the stream name? Don't we need to know it to create the topic?

[Mark-Simulacrum]

No, you only need the stream ID. We could also add stream names to our configuration, but regardless the stream name doesn't matter because it's not the problem -- URLs with any characters instead of the stream name will work. e.g.,

https://rust-lang.zulipchat.com/#narrow/stream/233931-this-is-a-sweet-stream/topic/Improve.20defaults.20in.20x.2Epy.20compiler-team.23326

works quite fine.

[camelid]

So do you think it's worth it to fix this? For example, by detecting GitHub issue title changes and updating the Zulip title so that people don't do it manually

[Mark-Simulacrum]

Generally speaking, sure, I'd love to fix this. However, I think it's going to be quite hard.

• We cannot detect edits to topic titles on Zulip with the existing hook, which only pings our backend if the bot's name is mentioned on Zulip.
• If we go the other way, there's no API endpoint that I can find that lets us edit the topic name on Zulip. So we can't easily do things that way either.

What we could do relatively easily, though, is to detect changes in the issue title on GitHub and post a comment asking someone to edit the topic in Zulip and update the link in the first comment by the bot.

An alternative to that would be to, on changes to the GitHub issue title, post a new comment on Zulip saying "hey this is the continued discussion from " into a new topic. I'd rather not do that though as diverging the two topics on Zulip seems kinda annoying.

[camelid]

Or maybe we could just post something to the original Zulip topic saying that the GitHub issue was renamed?

[Mark-Simulacrum]

The github issue being renamed shouldn't affect the Zulip topic at all in the sense that all links etc should still work... I think a comment on the github issue makes a lot more sense, personally.

[joshtriplett]

Could we ask the Zulip folks for a "rename topic" API endpoint?

[camelid]

Yeah, that's what I was thinking

[camelid]

Okay, I just filed an issue: zulip/zulip#15846

Feel free to add to it!

[camelid]

@Mark-Simulacrum Does github::IssuesAction::Edited represent a GitHub issue rename?