在本地删除文件而不是从在线 github 存储库中删除文件

Deleting files locally but not from online github repo

这可能是个愚蠢的问题,但我是 github 的新手。我上传了一个非常大的数据集,由于存储问题,我想将它从我的笔记本电脑中删除,但我仍然需要它在线供回购用户使用。 是否可以从本地存储库中删除文件而不是从在线存储库中删除文件?

基本上是this very popular question相反的问题。

将数据向上游推送到 GitHub 后,您可以在本地安全地删除它。 GitHub 上的数据不会受到影响,除非您执行类似

的操作
git rm <file>
git commit -m "deleted file"
git push

在这种情况下,它会从远程存储库中删除文件。