我是github的新手，并且遇到了合并文件的问题，需要有关如何最好地避免这个问题的建议。
这是我们正在经历的一个简单示例。我们在Github上有一个主存储库。它包含master / index.html
然后Dev1将其下拉到他的本地并创建一个新分支并创建一个新文件，所以现在Dev1有dev1-branch / index.html foo.html
Dev 2还将原始master下拉到他的本地并创建了一个新的分支dev2-branch / index.html bar.html
Dev1将他的分支推送到GitHub并运行合并，所以现在GitHub master是master / index.html foo.html
然后Dev2将他的分支推送到Github并运行合并，但现在Github上的主人是master / index.html bar.html
foo.html已删除。
我会假设Github会保留两个文件？所以master将是master / index.html foo.html bar.html
或者Dev2是否需要拉动主人并将其合并到他的dev2-branch之前推？
关于避免这种情况的最佳做法的任何建议都会很棒。