diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-08-26 23:14:59 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-08-26 23:14:59 -0700 |
commit | fb1fdf1f6a77bd1efab252589905f85f760611ab (patch) | |
tree | 6e3a8bf5784f4709a0dbf3b12e1a8f1b5a43dd26 /git-merge.html | |
parent | 7526f0aeb1f0a4fa2a4a6fc213db28d5a1b8d418 (diff) | |
download | git-htmldocs-fb1fdf1f6a77bd1efab252589905f85f760611ab.tar.gz |
Autogenerated HTML docs for v2.14.1-459-g238e4
Diffstat (limited to 'git-merge.html')
-rw-r--r-- | git-merge.html | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/git-merge.html b/git-merge.html index 24af24708..88a65b030 100644 --- a/git-merge.html +++ b/git-merge.html @@ -1301,7 +1301,10 @@ Decide not to merge. The only clean-ups you need are to reset <p>
Resolve the conflicts. Git will mark the conflicts in
the working tree. Edit the files into shape and
- <em>git add</em> them to the index. Use <em>git commit</em> to seal the deal.
+ <em>git add</em> them to the index. Use <em>git commit</em> or
+ <em>git merge --continue</em> to seal the deal. The latter command
+ checks whether there is a (interrupted) merge in progress
+ before calling <em>git commit</em>.
</p>
</li>
</ul></div>
@@ -1921,7 +1924,7 @@ branch.<name>.mergeOptions <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2017-08-24 11:09:12 PDT
+Last updated 2017-08-26 23:14:22 PDT
</div>
</div>
</body>
|