Tim Abbott

@Virakal can you talk about why you wanted to mute a bot user? Some context would be helpful in thinking about this feature request. There's no significant technical impediment to...

@abhijeetbodas2001 do you remember why we didn't allow muting bot users when we first implemented the feature?

Merged, thanks @PIG208! (The CI failure is an unrelated puppeteer flake).

I merged the first commit and rebased this.

Merged, thanks @PIG208!

@vaidap @brockwhittaker can one of you review this?

@rheaparekh how far along is this? I think it'd be reasonable to start working on this at this point.

I did some rewriting of this, primarily inspired by the insight that the `reverse_lookup` function just needed a small tweak to return the `bucket_key` rather than the `bucket` to support...

Also can you fix the node test? Might be best done in a new commit we plan to squash, just so it's easy for me to see your changes.

I'm going to test-deploy this on chat.zulip.org. Can you add a proper commit message to the new prep commit explaining why it's correct? Specifically, what code fills in the unread...