I am working on a project on Github.
The project has many branches, but there are only two needed to mention: develop and docs my job is to push my codes to docs branch, and my issue is if someone pushes code to develop how can I have those changes in docs and resume working without issues.
In pseudocode terms:
guy a: works in develop
guy b: checks out docs and works on this branch
guy a: is ahead of docs by adding more stuff
guy b: wants to synchronize docs with develop so he can work on guy a's changes
 
    