たまに出くわすので、今後のためのメモ以下のように、「.gitignore」に拡張子指定（*.txt）で除外設定しているにもかかわらず、除外されているファイルとされていないファイルが存在するときの対処。症状：拡張子指定の除外が反映されないリポジトリ内の除外対象ファイルを含