Skip to content

Commit

Permalink
Merge branch 'dev'
Browse files Browse the repository at this point in the history
  • Loading branch information
nothingface0 committed Dec 2, 2024
2 parents 61d111c + e47e92e commit 8533e0d
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions utils/cmssw_deploy.py
Original file line number Diff line number Diff line change
Expand Up @@ -755,9 +755,8 @@ def parse_args():
"--pull-requests",
type=str,
default="",
help="Comma-separate list of pull requests to apply.",
# TODO: Not implemented yet
#'Use "+number" to merge using cherry pick instead of merge-topic.',
help="Comma-separate list of pull requests to apply. "
'Use "+number" to merge using cherry pick instead of merge-topic.',
)
group.add_argument(
"-l",
Expand Down

0 comments on commit 8533e0d

Please sign in to comment.