diff options
author | Shawn O. Pearce <spearce@spearce.org> | 2007-03-12 20:03:47 +0300 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2007-03-12 20:03:47 +0300 |
commit | c7bafad10d294cc0b26ab6171efd89dd9b132f70 (patch) | |
tree | faad73b1772cc8632ceb02ad4fb41e4ca2a5227b | |
parent | 0b5ea163d21163343579cd6eb9274ccc2190a0fe (diff) |
git-gui: Allow committing empty merges
Johannes Sixt noticed that git-gui would not let the user commit
a merge created by `git merge -s ours` as the ours strategy does
not alter the tree (that is HEAD^1^{tree} = HEAD^{tree} after the
merge). The same issue arises from amending such a merge commit.
We now permit an empty commit (no changed files) if we are doing
a merge commit. Core Git does this with its command line based
git-commit tool, so it makes sense for the GUI to do the same.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
-rwxr-xr-x | git-gui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index 1981827a8e..0e448007f7 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -1171,7 +1171,7 @@ File [short_path $path] cannot be committed by this program. } } } - if {!$files_ready} { + if {!$files_ready && ![string match *merge $curType]} { info_popup {No changes to commit. You must add at least 1 file before you can commit. |