関連ワード:  git push a file    git push a file to remote repository    git push a file to repository    git push a file to another branch    github push a file    git copy a file from another branch    git move a file    git move a file to another folder    git copy a file    git copy a file from one branch to another