paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-04 14:03:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

python: Elide type=str from argparse arguments.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2020-09-02 12:24:05 -07:00
committed by Alex Vandiver
parent fbfd4b399d
commit a50fae89e2
45 changed files with 53 additions and 86 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/lib/management.py
View File

@@ -51,7 +51,6 @@ You can use the command list_realms to find ID of the realms in this server."""
'-r', '--realm',
dest='realm_id',
required=required,
type=str,
help=help)
def add_user_list_args(self, parser: ArgumentParser,
@@ -59,7 +58,6 @@ You can use the command list_realms to find ID of the realms in this server."""
all_users_help: str="All users in realm.") -> None:
parser.add_argument(
'-u', '--users',
type=str,
help=help)
parser.add_argument(