commit | d1471e061657c2e437076947e0e51a3c32adfa60 | [log] [tgz] |
---|---|---|
author | W. Trevor King <wking@tremily.us> | Sun Feb 17 19:15:55 2013 -0500 |
committer | Junio C Hamano <gitster@pobox.com> | Mon Feb 18 00:48:37 2013 -0800 |
tree | a63b94bdeebd2f2fcd2ee3bd251791bfa7264e37 | |
parent | e9b4908302c659251a47ce440676cb3b0d65b8af [diff] |
user-manual: give 'git push -f' as an alternative to +master 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>