我在我的本地git存储库中添加了几个非常大的HDF5文件。现在，如果我想将它推送到github，我就会失败（超时或拒绝，我不知道）。
如何从历史记录中删除这些文件？
或者更好的是，如何在没有这些文件的情况下将其推送到github？
我试过
clang: error: unsupported option '-fopenmp'
make[2]: *** [libjri.jnilib] Error 1
make[1]: *** [src/JRI.jar] Error 2
make: *** [jri] Error 2
ERROR: compilation failed for package ‘rJava’
但失败了。