Add "remote add" and "remote rm" commands
authorSimon Marlow <marlowsd@gmail.com>
Tue, 5 Apr 2011 10:02:40 +0000 (11:02 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 5 Apr 2011 11:20:06 +0000 (12:20 +0100)
commitdb485571de4216b379fad54b377fa970d204bcae
tree606932a2c57304def3dea2b9c64ff452ea61ed21
parent3a50b1f6cb7d4455c0df851b213a51e67bb16c7f
Add "remote add" and "remote rm" commands

To add and delete remote branches from all subrepos. e.g.

    ./sync-all -r ~/git/ghc-working remote add working
    ./sync-all remote rm working
sync-all