Merge branch 'sv/checkout'

* sv/checkout:
git-update-ref: add --no-deref option for overwriting/detaching ref

diff --cc builtin-fetch--tool.c
Simple merge