我和我的团队在使用Github企业版时遇到了一些问题，希望有人能帮忙解决。
我们的开发流程很简单：开发人员从develop分支创建一个功能分支，进行修改并提交pull请求合并回develop。我们已经这样工作了几年，但最近几位开发者中的5个人提交的pull请求无法自动合并。考虑到可能是合并冲突导致的，我通过命令行进行了合并，没有出现合并冲突。
我检查了所有不能自动合并的pull请求，并通过命令行成功地合并了它们。
由于这种情况不是每个人都遇到，我认为这是开发者本地代码库的问题。我让开发者删除他们本地的代码库，并克隆repo。接着每位开发者依次做了一个小修改，并提交了pull请求。他们的请求仍然无法自动合并。
我希望有人曾经遇到过这个问题并知道如何解决。
谢谢您的帮助，如果需要更多信息请告诉我。
Gregg