Update head of repo after merge.