結果 : how to remove a file from remote repository git