diff options
| author | Yang Zhenhui <zhenhui.yang@sonymobile.com> | 2012-10-23 15:41:54 +0800 |
|---|---|---|
| committer | Bruce Zu <bruce.zu@sonymobile.com> | 2012-10-26 15:40:17 +0800 |
| commit | 75cc3533801a012c1fe6676e76148416a70693ca (patch) | |
| tree | c31c72c68ad62b857d01ad67f9af3236c35182a0 /subcmds/grep.py | |
| parent | 57365c98cc227255f50ab3d71462204c804eb975 (diff) | |
| download | git-repo-75cc3533801a012c1fe6676e76148416a70693ca.tar.gz | |
Show user about not initializing repo in current directory
If the parent of current directory has an initialized repo,
for example, if the current directory is
'/home/users/harry/platform/ics', and there is an initialized repo
in harry's home directory '/home/users/harry/.repo', when user
run 'repo init' command, repo is always initialized to parent
directory in '/home/users/harry/.repo', but most of time user
intends to initialize repo in the current directory, this patch
tells user how to do it.
Change-Id: Id7a76fb18ec0af243432c29605140d60f3de85ca
Diffstat (limited to 'subcmds/grep.py')
0 files changed, 0 insertions, 0 deletions