関連ワード:  git remove file from remote repository only    git remove ignored files from remote  
結果 : git remove file from remote repository only