Skip to content
Snippets Groups Projects
Commit 203d3750 authored by Karim Ahmed's avatar Karim Ahmed
Browse files

fix/gitpush_flag

parent 443ef7d1
No related branches found
No related tags found
1 merge request!194fix/gitpush_flag
......@@ -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)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment