diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-02-26 03:43:32 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-02-26 03:43:33 +0300 |
commit | 140045821aa78da3a80a7d7c8f707b955e1ab40d (patch) | |
tree | 9a8bb3c516eb72c8a5141dd3c162e3dc2d34d186 /t/t5516-fetch-push.sh | |
parent | cadae717d557840d3566b7c0fc2003046e08c88f (diff) | |
parent | 20e416409fc2bc260faf65a0fc74927ed0d3ca12 (diff) |
Merge branch 'jc/push-delete-nothing'
"git push $there --delete ''" should have been diagnosed as an
error, but instead turned into a matching push, which has been
corrected.
* jc/push-delete-nothing:
push: do not turn --delete '' into a matching push
Diffstat (limited to 't/t5516-fetch-push.sh')
-rwxr-xr-x | t/t5516-fetch-push.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/t/t5516-fetch-push.sh b/t/t5516-fetch-push.sh index 15262b4192..f11742ed59 100755 --- a/t/t5516-fetch-push.sh +++ b/t/t5516-fetch-push.sh @@ -820,6 +820,11 @@ test_expect_success 'push --delete refuses src:dest refspecs' ' test_must_fail git push testrepo --delete main:foo ' +test_expect_success 'push --delete refuses empty string' ' + mk_test testrepo heads/master && + test_must_fail git push testrepo --delete "" +' + test_expect_success 'warn on push to HEAD of non-bare repository' ' mk_test testrepo heads/main && ( |