diff options
author | Mike Lockwood <lockwood@android.com> | 2009-07-14 15:23:39 -0400 |
---|---|---|
committer | Mike Lockwood <lockwood@android.com> | 2009-07-14 15:23:39 -0400 |
commit | 33f0e786bb35ea11da1e3d1746c431da5f1d93eb (patch) | |
tree | 3c0e1fda7a739411e8f7ec3854b583425e171687 | |
parent | 57272ba82e3e1baa2bd7743d799f7dbc2acd43f8 (diff) | |
download | git-repo-33f0e786bb35ea11da1e3d1746c431da5f1d93eb.tar.gz |
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>
-rwxr-xr-x | main.py | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -59,6 +59,8 @@ class _Repo(object): | |||
59 | def __init__(self, repodir): | 59 | def __init__(self, repodir): |
60 | self.repodir = repodir | 60 | self.repodir = repodir |
61 | self.commands = all_commands | 61 | self.commands = all_commands |
62 | # add 'branch' as an alias for 'branches' | ||
63 | all_commands['branch'] = all_commands['branches'] | ||
62 | 64 | ||
63 | def _Run(self, argv): | 65 | def _Run(self, argv): |
64 | name = None | 66 | name = None |