commit | 0aa74cdf009d81eee4e6c92164d121faa7879e88 | [log] [tgz] |
---|---|---|
author | Søren Gjesse <sgjesse@google.com> | Wed Nov 15 09:32:23 2023 +0100 |
committer | Søren Gjesse <sgjesse@google.com> | Wed Nov 15 09:32:23 2023 +0100 |
tree | 7f6f51f08c0a4f826c8c76ebe28322ab6738f96b | |
parent | e91eb0eb622859d3fc8aaeb098365fa597535bf4 [diff] |
Make origin argument to tools/cherry-pick.py an option Change-Id: Iae9d38db17625c366332dc03c82aa4482d295f07
diff --git a/tools/cherry-pick.py b/tools/cherry-pick.py index fbc7bd2..4a9bca0 100755 --- a/tools/cherry-pick.py +++ b/tools/cherry-pick.py
@@ -32,7 +32,7 @@ metavar='<hash>', nargs='+', help='Hashed to merge') - parser.add_argument('remote', + parser.add_argument('--remote', default='origin', help='The remote name (defaults to "origin")') return parser.parse_args()