Merge branch 'db/push-single-with-HEAD'

* db/push-single-with-HEAD:
  Resolve value supplied for no-colon push refspecs

diff --cc remote.c
Simple merge

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