diff options
Diffstat (limited to 'utils/get-developers')
| -rwxr-xr-x | utils/get-developers | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/utils/get-developers b/utils/get-developers index 6a028b4526..f525ff2226 100755 --- a/utils/get-developers +++ b/utils/get-developers @@ -5,6 +5,7 @@ import getdeveloperlib import sys import os + def parse_args(): parser = argparse.ArgumentParser() parser.add_argument('patches', metavar='P', type=argparse.FileType('r'), nargs='*', @@ -19,6 +20,7 @@ def parse_args(): const=True, help='list files not handled by any developer') return parser.parse_args() + def __main__(): devs = getdeveloperlib.parse_developers() if devs is None: @@ -95,5 +97,5 @@ def __main__(): if result != "": print("git send-email %s" % result) -__main__() +__main__() |
