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