Zixuan James Li
b21f533af3
settings_users: Show all bots in organization settings.
...
We intended to show all the bots in the bots organization settings for
non-admin users as well. This switches from bot_data.all_user_ids() to
people.get_bot_ids() to get a full set of ids for all the bots in the
organization.
Because the source of data changes, "realm_user" instead of "realm_bot"
triggers the update of the bots list.
The code example (example4) is updated since we incorporate a side
effect into "realm_user"'s "add" op.
Note that while "realm_user" does not have a "delete" op, we still stop
redrawing bots on "relam_bot"'s "delete" op, because "delete" was only
triggered when the bot owner changes, the bot does not disappear from
the list of all bots.
Signed-off-by: Zixuan James Li <p359101898@gmail.com >
2023-01-31 15:16:48 -08:00
..
2022-12-14 20:36:07 -08:00
2022-11-17 16:48:44 -08:00
2022-11-22 16:23:56 -08:00
2022-03-04 12:26:49 -08:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-07-26 17:03:02 -07:00
2022-01-28 17:45:45 -08:00
2022-10-25 10:42:00 -07:00
2022-03-16 12:52:07 -07:00
2022-11-17 16:48:44 -08:00
2022-07-13 16:27:30 -07:00
2022-11-17 16:48:44 -08:00
2022-12-09 13:52:13 -08:00
2022-12-15 17:26:04 -08:00
2022-08-18 12:30:30 -07:00
2022-04-10 19:31:56 -04:00
2022-07-13 16:27:30 -07:00
2022-12-15 17:25:36 -08:00
2022-12-14 12:40:51 -08:00
2022-12-15 17:25:36 -08:00
2022-11-17 16:48:44 -08:00
2023-01-18 16:04:58 -08:00
2023-01-18 15:50:04 -08:00
2022-08-25 11:25:02 -07:00
2022-08-15 12:32:43 -07:00
2023-01-31 15:16:48 -08:00
2022-12-15 17:25:36 -08:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-12-06 12:33:59 -08:00
2022-04-04 13:28:49 -07:00
2022-11-17 16:48:44 -08:00
2022-03-24 08:10:14 -07:00
2023-01-31 15:16:48 -08:00
2022-11-17 16:48:44 -08:00
2022-04-10 19:31:56 -04:00
2022-10-19 16:26:42 -07:00
2022-07-13 16:27:30 -07:00
2022-11-17 16:48:44 -08:00
2022-10-28 17:41:47 -07:00
2022-10-13 23:45:25 -07:00
2022-10-25 10:42:00 -07:00
2022-11-22 13:55:21 -08:00
2022-12-06 09:58:40 -08:00
2022-11-14 12:23:55 -08:00
2022-11-17 16:48:44 -08:00
2022-03-01 18:14:31 -08:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-04-05 12:42:15 +00:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-12-13 15:16:20 -08:00
2022-11-17 16:48:44 -08:00
2022-12-13 23:11:50 -08:00
2022-08-18 12:30:30 -07:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-08-16 14:39:24 -07:00
2023-01-14 14:49:28 -08:00
2022-08-18 12:30:30 -07:00
2022-11-29 11:29:12 -08:00
2022-12-30 11:21:23 -08:00
2022-12-12 18:04:11 -08:00
2022-11-17 16:48:44 -08:00
2022-10-04 11:59:22 -07:00
2022-08-16 14:39:24 -07:00
2022-12-15 17:25:36 -08:00
2022-04-10 19:31:56 -04:00
2022-08-16 14:39:24 -07:00
2022-04-10 19:31:56 -04:00
2022-07-13 16:27:30 -07:00
2023-01-31 15:16:48 -08:00
2022-07-11 11:44:47 -07:00
2022-08-29 17:24:08 -07:00
2023-01-03 11:09:50 -08:00
2022-10-26 13:47:08 -07:00
2022-03-16 12:52:07 -07:00
2022-12-06 09:58:40 -08:00
2022-07-13 16:27:30 -07:00
2022-10-27 12:41:51 -07:00
2022-11-29 11:29:12 -08:00
2022-12-15 13:05:22 -08:00
2022-09-23 10:59:59 -07:00
2022-11-17 16:48:44 -08:00
2022-03-07 21:35:00 -08:00
2022-03-16 12:52:07 -07:00
2022-03-16 12:52:07 -07:00
2022-11-22 13:55:21 -08:00
2022-11-22 13:55:21 -08:00
2022-08-16 13:56:33 -07:00
2022-08-16 14:17:42 -07:00
2022-08-16 14:17:42 -07:00
2022-04-10 19:31:56 -04:00
2022-09-23 12:06:51 -07:00
2022-12-30 17:54:00 -08:00
2022-08-16 14:39:24 -07:00
2022-07-13 16:27:30 -07:00
2023-01-20 12:45:53 -08:00
2022-11-17 16:48:44 -08:00
2022-07-07 14:56:45 -07:00
2022-08-23 17:30:39 -07:00
2022-03-16 12:52:07 -07:00
2022-07-13 16:27:30 -07:00
2022-07-13 16:27:30 -07:00
2022-12-15 17:26:04 -08:00
2022-11-04 14:22:27 -07:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-02-22 16:29:36 -08:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-08-06 21:59:23 -07:00
2022-10-19 16:26:42 -07:00
2022-11-17 16:48:44 -08:00
2022-03-17 13:16:34 -07:00
2022-11-17 16:48:44 -08:00
2022-10-24 10:23:20 -07:00
2022-10-19 16:26:42 -07:00
2022-07-13 16:27:30 -07:00
2023-01-03 11:09:50 -08:00
2023-01-20 14:41:21 -08:00
2022-07-13 16:27:30 -07:00
2022-07-13 16:27:30 -07:00
2022-10-27 13:03:54 -07:00
2022-04-10 19:31:56 -04:00
2022-11-17 16:48:44 -08:00
2023-01-26 10:17:45 -08:00
2022-02-22 16:29:36 -08:00
2022-05-17 14:51:55 -07:00
2022-02-11 13:30:08 -08:00
2022-11-17 16:48:44 -08:00
2022-11-17 16:48:44 -08:00
2022-09-22 08:40:28 -07:00
2023-01-06 16:53:57 -08:00
2022-11-17 16:48:44 -08:00
2022-08-18 08:55:31 -07:00
2022-11-17 16:48:44 -08:00
2022-02-07 18:51:06 -08:00
2022-03-17 13:16:34 -07:00