From 203d375012e3dcf1daf4453d77953295f7554e33 Mon Sep 17 00:00:00 2001 From: Karim Ahmed <ahmedk@exflqr13068.desy.de> Date: Tue, 29 Oct 2019 15:09:14 +0100 Subject: [PATCH] fix/gitpush_flag --- reportservice/manual_run.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reportservice/manual_run.py b/reportservice/manual_run.py index d57248838..d5ad03a14 100644 --- a/reportservice/manual_run.py +++ b/reportservice/manual_run.py @@ -37,7 +37,7 @@ arg_parser.add_argument('--instrument', default=['all'], nargs='+', help='select the requested instruments. ' 'Default=\"all\", which can be used for selecting' ' all instruments') -arg_parser.add_argument('--gitpush', dest='Push to git', action='store_true', +arg_parser.add_argument('--gitpush', dest='gitpush', action='store_true', help='required for pushing the generated figures ' 'to the DC git repository. Default=bool(False)') arg_parser.set_defaults(gitpush=False) -- GitLab