I have 2 branches dev
& prod
. Would like to copy 1 file from dev to prod.
I'm already on the prod branch on remote server.
So i tried
git checkout dev <file-name>
If i do
git checkout dev -- <file-name>
Then it gives
fatal: invalid reference: dev