diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-01-19 22:19:58 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-01-19 14:04:16 -0800 |
commit | af5bacf471825662f8eeda932cfabd6c47634434 (patch) | |
tree | 444c38da7ec6f93b958575f9e8c6aaa1f2dc44ff /Documentation/git-prune-packed.txt | |
parent | preparing for 2.10.3 (diff) | |
download | tgif-af5bacf471825662f8eeda932cfabd6c47634434.tar.xz |
remote rename: demonstrate a bogus "remote exists" bug
Some users like to set `remote.origin.prune = true` in their ~/.gitconfig
so that all of their repositories use that default.
However, our code is ill-prepared for this, mistaking that single entry to
mean that there is already a remote of the name "origin", even if there is
not.
This patch adds a test case demonstrating this issue.
Reported by Andrew Arnott.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-prune-packed.txt')
0 files changed, 0 insertions, 0 deletions