結果 : how to pull a file from github command line