git force push diverged branch