pushpatches: Ask again after running `gitk`