我正在使用ShareLaTeX Github集成版本控制我的论文。我喜欢基本的工作流程，但最近遇到了远程仓库中文件名更改未正确传播到repo的ShareLaTeX版本的情况。例如，我最初有一个名为filter.jl的文件，它在我的本地存储库，Github远程版本和ShareLaTeX版本之间同步。然后我将文件重命名为fun_filter.jl;更改在Github上正确显示，但当我将更改提取到ShareLaTeX中，稍后再次将更改从ShareLaTeX推送到Github时，该文件将再次重命名为filter.jl。
有没有人有类似的经历？如何处理ShareLaTeX端的合并冲突？这不是一个问题，因为ShareLaTeX不会更改我的计算机本地更改的相同文件，因此所有合并都应该自动运行。
如果有人有类似的经历或者我知道自己可能做错了什么，那么答案将会非常感激。