Git: fetch a single file from another branch.