mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
Add "repo branch" as an alias for "repo branches"
For those of us that are used to typing "git branch".
Signed-off-by: Mike Lockwood <lockwood@android.com>
(cherry picked from commit 33f0e786bb
)
This commit is contained in:
parent
f00e0ce556
commit
2bf9db0d3b
2
main.py
2
main.py
@ -61,6 +61,8 @@ class _Repo(object):
|
|||||||
def __init__(self, repodir):
|
def __init__(self, repodir):
|
||||||
self.repodir = repodir
|
self.repodir = repodir
|
||||||
self.commands = all_commands
|
self.commands = all_commands
|
||||||
|
# add 'branch' as an alias for 'branches'
|
||||||
|
all_commands['branch'] = all_commands['branches']
|
||||||
|
|
||||||
def _Run(self, argv):
|
def _Run(self, argv):
|
||||||
name = None
|
name = None
|
||||||
|
Loading…
Reference in New Issue
Block a user