commit 33f0e786bb35ea11da1e3d1746c431da5f1d93eb
author Mike Lockwood <lockwood@android.com> Tue Jul 14 15:23:39 2009 -0400
committer Mike Lockwood <lockwood@android.com> Tue Jul 14 15:23:39 2009 -0400
tree 3c0e1fda7a739411e8f7ec3854b583425e171687
parent 57272ba82e3e1baa2bd7743d799f7dbc2acd43f8

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>

main.py

diff --git a/main.py b/main.py
index a60641d..2cc7e44 100755
--- a/main.py
+++ b/main.py
@@ -59,6 +59,8 @@
   def __init__(self, repodir):
     self.repodir = repodir
     self.commands = all_commands
+    # add 'branch' as an alias for 'branches'
+    all_commands['branch'] = all_commands['branches']
 
   def _Run(self, argv):
     name = None