Sync a shared branch
Steps
- Fetch the remote and compare the local branch against the remote branch.
- When the branches diverge, merge the remote branch into the local branch.
- Push the result.
Guardrail
The remote branch must never be force-pushed to, as the collaborator's commits would be discarded without a warning.