https://wp.jochen.hayek.name/blog-en/2020/12/28/git-gui-gitk/