triagebot: enable github releases synchronization

This commit is contained in:
Pietro Albini 2020-09-08 10:43:52 +02:00
parent e82584a77d
commit f64ddc60a5
No known key found for this signature in database
GPG Key ID: 3E06ABE80BAAF19C

View File

@ -99,3 +99,9 @@ message_on_add = """\
- Needs `I-nominated`?
"""
message_on_remove = "Issue #{number}'s prioritization request has been removed."
[github-releases]
format = "rustc"
project-name = "Rust"
changelog-path = "RELEASES.md"
changelog-branch = "master"