mirror of
https://github.com/git/git.git
synced 2024-11-25 10:54:00 +08:00
push: better error message when no remote configured
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
ec8460bd91
commit
a3f5e7a32e
@ -157,7 +157,14 @@ static int do_push(const char *repo, int flags)
|
||||
if (!remote) {
|
||||
if (repo)
|
||||
die("bad repository '%s'", repo);
|
||||
die("No destination configured to push to.");
|
||||
die("No configured push destination.\n"
|
||||
"Either specify the URL from the command-line or configure a remote repository using\n"
|
||||
"\n"
|
||||
" git remote add <name> <url>\n"
|
||||
"\n"
|
||||
"and then push using the remote name\n"
|
||||
"\n"
|
||||
" git push <name>\n");
|
||||
}
|
||||
|
||||
if (remote->mirror)
|
||||
|
Loading…
Reference in New Issue
Block a user