mirror/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-18 03:03:55 +01:00
Code
Git Source Code Mirror. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
239 Commits 6 Branches 956 Tags 311 MiB
C 50.3%
Shell 38.6%
Perl 5.2%
Tcl 3.3%
Python 0.8%
Other 1.6%
3ebba3c724
Go to file
Paul Mackerras 3ebba3c724 gitk: Avoid an error when cherry-picking if HEAD has moved on 
This fixes an error reported by Adam Piątyszek: if the current HEAD
is not in the graph that gitk knows about when we do a cherry-pick
using gitk, then gitk hits an error when trying to update its
internal representation of the topology.  This avoids the error by
not doing that update if the HEAD before the cherry-pick was a
commit that gitk doesn't know about.

Signed-off-by: Paul Mackerras <paulus@samba.org>
2007-10-20 22:10:52 +10:00
gitk gitk: Avoid an error when cherry-picking if HEAD has moved on 2007-10-20 22:10:52 +10:00