Notify when an I-prioritize issue is closed

This commit is contained in:
Léo Lanteri Thauvin
2020-12-31 02:22:10 +01:00
committed by GitHub
parent e226704685
commit 9c7dbe82e7
+2
View File
@@ -101,6 +101,8 @@ message_on_add = """\
- Needs `I-nominated`?
"""
message_on_remove = "Issue #{number}'s prioritization request has been removed."
message_on_close = "Issue #{number} has been closed while requested for prioritization."
message_on_reopen = "Issue #{number} has been reopened."
[github-releases]
format = "rustc"