From 7f1799d582ef4fcfe0dd1f1ebab1ad4b79a13722 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 6 Jun 2021 13:18:28 +0200
Subject: [PATCH] tweak iris-bot help
---
iris-bot | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/iris-bot b/iris-bot
index db382d546..fa5c17718 100755
--- a/iris-bot
+++ b/iris-bot
@@ -135,7 +135,7 @@ def time(args):
# Dispatch
if __name__ == "__main__":
parser = argparse.ArgumentParser(description='Iris CI utility')
- subparsers = parser.add_subparsers(required=True, title='iris-bot command to execute', description='see "$command -h" for help', metavar="command")
+ subparsers = parser.add_subparsers(required=True, title='iris-bot command to execute', description='see "$command -h" for help', metavar="$command")
parser_build = subparsers.add_parser('build', help='Build many reverse dependencies against an Iris branch')
parser_build.set_defaults(func=build)
--
GitLab