diff --git a/utils/get-developers b/utils/get-developers index b45e617bff..3253ce5d6b 100755 --- a/utils/get-developers +++ b/utils/get-developers @@ -98,6 +98,7 @@ def __main__(): if i in dev.infras: matching_devs.add(dev.name) + matching_devs = sorted(matching_devs) if args.email: for dev in matching_devs: print(dev)