Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
52,416 Commits 28 Branches 143 Tags 606 MiB
Commit Graph

4 Commits

Author SHA1 Message Date
Zixuan James Li 693b3679e3 muted users: Add support to muting bots. 
We intentionally disallow muting bots previously upon
a pending design decision in #16915.
This lifts that constraint.

Fixes #22693.
 2023-06-13 16:44:12 -07:00
Abhijeet Prasad Bodas 9fde88796a mute user: Remove unnecessary check for double muting. 
In 141b0c4, we added code to handle races caused by duplicate muting
requests. That code can also handle the non-race condition, so we don't
require the first check.
 2023-02-20 21:04:13 -08:00
Tim Abbott 387f178ef1 lint: Fix import sort order. 2023-02-10 15:47:32 -08:00
Abhijeet Prasad Bodas 9d1c131dc6 muted users: Make file naming consistent. 
This makes the names of the relevant files consistant with the database
model name as well as the frontend JS files.
 2023-02-10 15:39:57 -08:00