Junio C Hamano 140045821a 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

2021-02-25 16:43:33 -08:00

20 KiB

Raw Blame History

View Raw