added 4 commits

Bibo-Joshi changed the title ~~Fix 1562~~ Make filters.user.{user_ids, usernames} mutable

Closed

8 tasks

Bibo-Joshi changed the title ~~Make filters.user.{user_ids, usernames} mutable~~ Make filters.user.{user_ids, usernames} editable

tsnoam changed the title ~~Make filters.user.{user_ids, usernames} editable~~ Allow updating user_ids/usernames of a running filters.user

Closed

Co-authored-by: Noam Meltzer <tsnoam@gmail.com>

pylint complained on some extra stuff, so cleaned them as well

Closed

github-actions Bot locked as resolved and limited conversation to collaborators