diff options
| author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2009-08-08 11:51:08 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-08-13 03:15:47 +0400 |
| commit | 07436e43daf1a97d3d702090d6289f745bd5ad90 (patch) | |
| tree | e8f0cbf00412a6028e5b1f12a8f9f55383bfc1d2 /Documentation/git-rev-list.txt | |
| parent | e89df7dcda9836518a68cce27231625f90d94749 (diff) | |
push: point to 'git pull' and 'git push --force' in case of non-fast forward
'git push' failing because of non-fast forward is a very common situation,
and a beginner does not necessarily understand "fast forward" immediately.
Add a new section to the git-push documentation and refer them to it.
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Nanako Shiraishi <nanako3@lavabit.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-rev-list.txt')
0 files changed, 0 insertions, 0 deletions