diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2017-03-21 15:03:28 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-03-21 15:03:28 -0700 |
| commit | 0d9f9424ad12c8e9e71db45776f6bf4a143b90f3 (patch) | |
| tree | 91cc0d2c5d178f32beb6376a2364f40d255b4798 /contrib/mw-to-git/git-remote-mediawiki.txt | |
| parent | Merge branch 'dt/gc-ignore-old-gc-logs' into maint (diff) | |
| parent | remote: ignore failure to remove missing branch.<name>.merge (diff) | |
| download | tgif-0d9f9424ad12c8e9e71db45776f6bf4a143b90f3.tar.xz | |
Merge branch 'rl/remote-allow-missing-branch-name-merge' into maint
"git remote rm X", when a branch has remote X configured as the
value of its branch.*.remote, tried to remove branch.*.remote and
branch.*.merge and failed if either is unset.
* rl/remote-allow-missing-branch-name-merge:
remote: ignore failure to remove missing branch.<name>.merge
Diffstat (limited to 'contrib/mw-to-git/git-remote-mediawiki.txt')
0 files changed, 0 insertions, 0 deletions