Lazygit: an alternative git interface