fix git-divergence