関連ワード:  delete a file from github history    delete a file from git history    remove a file from git history completely    delete a file from all git history    can you delete a file from git history    delete large file from git history    remove a file from git repo history    remove file from git history filter repo    delete file from git commit history    permanently delete file from git history