mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	This commit adds a new "Role" column for the bot-list table in the org-settings, and removes the user_id column from the same. The role of a bot is fetched using the `get_user_type` function inside bot_info(). This also adds the `sort_role` in the sort_fields which sorts the role column in the bot-list table.