Code

gitk: Cope better with getting commits that we have already seen