What is the meaning of the double dashes before the file name in this git command?
git checkout --ours -- path/to/file.txt
git checkout --theirs -- path/to/file.txt
Are they mandatory? Is it equivalent to
git checkout --ours path/to/file.txt
git checkout --theirs path/to/file.txt