Say I have this after attempting a merge and upon entering git status:
# Unmerged paths:# (use "git add/rm <file>..." as appropriate to mark resolution)## added by them: myfile1.xhtml# added by them: myfile2.xhtml# added by them: myfile3.xhtml... and I know I want to do this for each of those files:
git checkout --theirs myfile1.xhtmlgit add myfile1.xhtml... but there are many of them. How might I do them as a batch?