Mark Rousskov b5a08b44a1 Avoid errors about major-change feature use on rename il y a 4 ans
..
bin 40366c138f Create lang agenda skeleton il y a 4 ans
changelogs 92d931fba2 changelogs: avoid line breaks in the github release output il y a 4 ans
db 21661d3272 Allow acknowledging all notifications (#871) il y a 4 ans
handlers b5a08b44a1 Avoid errors about major-change feature use on rename il y a 4 ans
actions.rs a36804d30b Fix agenda empty item lines repetitions il y a 4 ans
agenda.rs 853325d119 Properly add rfc repo when querying for T-compiler agenda il y a 4 ans
config.rs 40b8382190 Basic close command structure il y a 4 ans
db.rs cc41dab943 Track PR number of bors merges il y a 4 ans
github.rs d32e6a9923 Title and body are optional fields in changes il y a 4 ans
handlers.rs f346181e01 Support multiple different bot names il y a 4 ans
interactions.rs df4e28474b Move to anyhow from failure il y a 5 ans
lib.rs 7c7260dd78 add support for the push and create events il y a 4 ans
logger.rs 80a2a67138 Initiating logging is not an error il y a 5 ans
main.rs b184748773 factor out GITHUB_API_TOKEN env variable access il y a 4 ans
notification_listing.rs c802f5dbd6 Fix HTML for `ack all` help il y a 4 ans
payload.rs 2b84e897b0 Move rocket into main.rs and out of primary library il y a 5 ans
team.rs df4e28474b Move to anyhow from failure il y a 5 ans
team_data.rs 12a2b3cb58 Move team-data API access to separate module il y a 5 ans
zulip.rs b69d666822 Automatically rename Zulip topics for MCPs when the GitHub issue is renamed (#711) il y a 4 ans