Pietro Albini c5f9daef56 implement synchronization for github releases 4 anni fa
..
assign.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 anni fa
autolabel.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 anni fa
github_releases.rs c5f9daef56 implement synchronization for github releases 4 anni fa
glacier.rs 637a5f227a glacier: Add `rust-lang/rust` prefixes to the issue number 5 anni fa
major_change.rs d435aee259 Add issue title to Zulip topic announcement 5 anni fa
milestone_prs.rs eeea6a80bd Automatically milestone merged PRs 5 anni fa
nominate.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 anni fa
notification.rs d7710c5dbd make event time optional 4 anni fa
notify_zulip.rs 90c7d385f8 Add an ellipsis at the end of truncated topics 5 anni fa
ping.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 anni fa
prioritize.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 anni fa
relabel.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 anni fa
rustc_commits.rs cc41dab943 Track PR number of bors merges 5 anni fa