On 21.06.24 06:35, Eric Sunshine wrote: > Unfortunately, it seems unlikely that either my 2018 patch or your > suggestion will be applied since the Gitk maintainer seems to have > disappeared(?)[*]. > > [*] Interestingly, I just checked git://ozlabs.org/~paulus/gitk and > noticed that changes were applied as recently as 2022-02-20, however, > the patch I submitted was not one of them. In 2022, Paul said [1] that he would be willing to pass maintainership to somebody else. Johannes, now that you volunteered to take on git-gui, could you imagine doing the same for gitk? This would be awesome. -Stefan [1] https://public-inbox.org/git/YntxL%2FfTplFm8lr6@cleo/