使用git-filter-repo删除提交后，已关闭PR仍显示该提交如何处理？

已经用git-filter-repo重写仓库历史移除敏感信息后，master和特性分支里看不到那笔提交，但已关闭PR还能显示，这是因为GitHub不会自动清理PR关联的旧提交引用，要彻底处理得按下面步骤来：

• 先确保所有重写后的分支都强制推送到远程
  不管是主分支还是曾经开PR的特性分支，都得把重写后的版本强制推上去，用这个命令更安全：
  git push --force-with-lease <远程仓库名> <分支名>
  用--force-with-lease比直接--force好，能避免不小心覆盖其他人刚提交的内容。

• 必须联系GitHub官方支持
  已关闭PR的历史记录属于GitHub平台层面的存储，普通用户自己没法删掉里面的旧提交显示。你得去GitHub的支持通道提交请求，说明清楚：已经用git-filter-repo重写了仓库历史，敏感提交已经从所有分支里移除，但某些已关闭PR还能看到它，请求帮忙清理这些悬空提交的引用，让PR历史里不再显示敏感内容。
  提交的时候要附上仓库链接、相关PR的编号，还有你已经完成历史重写的说明。

• 额外提醒

  • 重写历史后，所有协作的同事都得重新克隆仓库，不能再用原来的本地分支，不然不小心又把旧提交推上去就白忙活了。
  • 就算GitHub支持处理完，可能还有缓存，得等一会儿才能彻底看不到旧提交。

内容的提问来源于stack exchange，提问作者mukut bhattacharjee