Merge branch 'jk/push-to-delete'

* jk/push-to-delete:
builtin-push: add --delete as syntactic sugar for :foo

diff --cc builtin-push.c
Simple merge

diff --cc t/t5516-fetch-push.sh
Simple merge