diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-07-23 00:04:25 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-07-23 00:04:25 +0400 |
| commit | b120079113c62cf52a23e0d84760b5405bcf6b2e (patch) | |
| tree | 0e8207135262390f383d8c23e9ed72df39dfa6fb /git-mergetool.sh | |
| parent | 7046e7582121a8b7b9d126b492cb439631843444 (diff) | |
| parent | 5742c82ba76b6526639f08b5c7554fd15271087e (diff) | |
Merge branch 'jk/push-delete-ref-error-message' into maint
The error message from "git push $there :bogo" (and its equivalent
"git push $there --delete bogo") mentioned that we tried and failed
to guess what ref is being deleted based on the LHS of the refspec,
which we don't.
* jk/push-delete-ref-error-message:
push: don't guess at qualifying remote refs on deletion
Diffstat (limited to 'git-mergetool.sh')
0 files changed, 0 insertions, 0 deletions