Fix Zulip topic format

This commit is contained in:
LeSeulArtichaut 2020-06-29 18:06:15 +02:00 committed by GitHub
parent 0ca7f74dbd
commit dd346987e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -92,7 +92,7 @@ message_on_remove = "Issue #{number}'s prioritization request has been removed."
[notify-zulip."I-nominated"]
required_labels = ["T-compiler"]
zulip_stream = 245100 # #t-compiler/wg-prioritization/alerts
topic = "I-prioritize #{number} {title}"
topic = "I-nominated #{number} {title}"
message_on_add = """\
@*WG-prioritization/alerts* #{number} has been nominated for discussion in `T-compiler` meeting.