Tim Abbott

Merged, thanks for doing this @jai2201! Hopefully you've learned a bit about how to do simple but efficient data structures through this project :)

Merged, thanks @PIG208!

Merged, thanks @PIG208!

@abhijeetkaur @showell what are the next steps on this PR?

This looks to me to be a correct implementation of fixing this inconsistency by adding these groups to the system bot realm. I feel like it might be more correct...

This is great, merged with a few changes: * The tweaks mentioned here: https://github.com/zulip/zulip/pull/22352#discussion_r941909110 * Made sure the comment for the migration appears at the top of the file; that's...

Yeah, that's a possibly surprising interaction with how GitHub's "merge once CI passes" feature works -- basically it'll merge the next time the PR passes CI, regardless of whether there...

@adnanislam can you clean up your commit history to match our style? Check out our [GitHub guide](https://zulip.readthedocs.io/en/latest/git-guide.html) and [commit guidelines](https://zulip.readthedocs.io/en/latest/contributing/version-control.html) for more details.

I merged #10290, after grabbing a line of test code from #9967. Thanks for your work on this @skunkmb! You may want to chat with @lonerz about which of you...

Reopening, since this reverted (see #10290 for discussion): 62bee26ea71cb0f54cb32620a15c69d66c344c68