Andrew's git / gitweb.git / diff
?
user-manual: give 'git push -f' as an alternative to +master
authorW. Trevor King <wking@tremily.us>
Mon, 18 Feb 2013 00:15:55 +0000 (19:15 -0500)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Feb 2013 08:48:37 +0000 (00:48 -0800)
This mirrors existing language in the description of 'git fetch'.

Signed-off-by: W. Trevor King <wking@tremily.us>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found