我写信给 GitHub 支持,他们说:
“将要,
好的,是的。那是一个很长的名字。我们不应该让这种情况发生。非常感谢您指出这一点。
我们目前没有办法从网络上删除文件,但我认为很明显我们一直在考虑并朝着这个方向前进。我要告诉在那个地区工作的人这件事。”
如果它可以帮助其他人,对于 Windows,我想出了一个使用 DOS 8.3 命名约定的解决方案。我在 DOS 中创建了一个文件,它使用长文件名的前六个字符加上波浪号,然后是数字索引。
In this case, I created a file in my working directory called 02_RUL~2. Then I could do git status, which showed the name change, then I could commit that, push to the repository, and then delete the new short file name, without ever having to pull the existing file down from the repository. Who would have thought that stupid naming convention would help some day?