Skip to content
Snippets Groups Projects

fix/gitpush_flag

Merged Karim Ahmed requested to merge fix/gitpush_flag into master
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
@@ -37,7 +37,7 @@ arg_parser.add_argument('--instrument', default=['all'], nargs='+',
@@ -37,7 +37,7 @@ arg_parser.add_argument('--instrument', default=['all'], nargs='+',
help='select the requested instruments. '
help='select the requested instruments. '
'Default=\"all\", which can be used for selecting'
'Default=\"all\", which can be used for selecting'
' all instruments')
' 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 '
help='required for pushing the generated figures '
'to the DC git repository. Default=bool(False)')
'to the DC git repository. Default=bool(False)')
arg_parser.set_defaults(gitpush=False)
arg_parser.set_defaults(gitpush=False)
Loading