Mark Rousskov b5a08b44a1 Avoid errors about major-change feature use on rename 4 years ago
..
assign.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 years ago
autolabel.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 years ago
close.rs 05896e27ab Implement close command 4 years ago
github_releases.rs c5f9daef56 implement synchronization for github releases 4 years ago
glacier.rs fe16faf195 Fix glacier command (#949) 4 years ago
major_change.rs b5a08b44a1 Avoid errors about major-change feature use on rename 4 years ago
milestone_prs.rs 908995cddc milestone_prs: remove support for parsing channel.rs 4 years ago
nominate.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 years ago
notification.rs d7710c5dbd make event time optional 4 years ago
notify_zulip.rs 90c7d385f8 Add an ellipsis at the end of truncated topics 5 years ago
ping.rs 24610ee7bb Add missing space to message 4 years ago
prioritize.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 years ago
relabel.rs 0ec6ae0ac4 Revert "Revert "Cleanup and refactor handlers"" 5 years ago
rustc_commits.rs cc41dab943 Track PR number of bors merges 5 years ago