Nov 27, 2017

Git: copy one file from another branch

$ git show $REVISION:$FILENAME
$ git checkout $REVISION -- $FILENAME
$ git diff $REVISION -- $FILENAME