Pat Thoyts <patthoyts@xxxxxxxxxxxxxxxxxxxxx> writes: > Junio C Hamano <gitster@xxxxxxxxx> writes: > >>Sebastian Schuberth <sschuberth@xxxxxxxxx> writes: >> >>> Sebastian Schuberth (2): >>> mergetool--lib: Sort tools alphabetically for easier lookup >>> mergetool--lib: Add Beyond Compare 3 as a tool >>> >>> Documentation/git-difftool.txt | 4 +- >>> Documentation/git-mergetool.txt | 4 +- >>> Documentation/merge-config.txt | 8 +- >>> contrib/completion/git-completion.bash | 2 +- >>> git-gui/lib/mergetool.tcl | 101 +++++++------ >>> git-mergetool--lib.sh | 247 +++++++++++++++++--------------- >>> 6 files changed, 195 insertions(+), 171 deletions(-) >> >>Hmm, I really would have liked if you took the hint and separated git-gui >>bits into separate patches. >> >>I saw Tested-by from Chris, so I'll add that to what is queued on 'pu', >>ask Pat to keep an eye on the ss/git-gui-mergetool branch, and then merge >>my ss/mergetool--lib branch to 'master' during my next integration run. > > Where is this branch? $ git log --oneline --first-parent master..pu Look for the commit that merge ss/git-gui-mergetool and pick its second parent, which is ffe6dc0 (mergetool--lib: Add Beyond Compare 3 as a tool, 2011-02-27). Thanks. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html