В чем смысл двойных тире перед именем файла в этой git команде?
git checkout --ours -- path/to/file.txt
git checkout --theirs -- path/to/file.txt
Обязательны ли они? Это эквивалентно
git checkout --ours path/to/file.txt
git checkout --theirs path/to/file.txt