search

rust-lang / simpleinfra

Rust Infrastructure automation
MIT License
146 stars 73 forks source link

Delete discord-mods-bot #550

Closed MarcoIeni closed 2 weeks ago

MarcoIeni commented 2 weeks ago

I asked technetos if we can delete it 👍

MarcoIeni commented 2 weeks ago

I'm closing this since the bot is still used https://rust-lang.zulipchat.com/#narrow/stream/242791-t-infra/topic/meeting.202024-09-02/near/467662781