From c1b931de5800a4cc43065dd9f67ed72616b8ee7e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 6 Jun 2021 19:03:35 +0200
Subject: [PATCH] =?UTF-8?q?iris-bot:=20rename=20--test-branch=20=E2=86=92?=
=?UTF-8?q?=20--test-rev?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
iris-bot | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/iris-bot b/iris-bot
index 09b63d042..8b8844f3c 100755
--- a/iris-bot
+++ b/iris-bot
@@ -147,7 +147,7 @@ if __name__ == "__main__":
parser_time = subparsers.add_parser('time', help='Time one reverse dependency against an Iris branch')
parser_time.add_argument("project", help="the project to measure the time of")
- parser_time.add_argument("--test-branch", help="use different branch on project for the test build (in case the project requires changes to still build)")
+ parser_time.add_argument("--test-rev", help="use different revision on project for the test build (in case the project requires changes to still build)")
parser_time.set_defaults(func=time)
# Parse, and dispatch to sub-command
--
GitLab