Say there are 100 developers working on the same project.
When each developer pushes their changeset to the central repo (origin master), are they forced to pull/merge locally to get all the updates before pushing?
Or as long as they all worked on different files and a merge isn’t required, they won’t be forced to do so?
Push does not do an automatic pull. If many developers are working on a single updated branch, it’s advisable for them to always do