It’s not just a name change. Both operations can be applied in both directions (push and pull) but they do different things:
- sync pushes/pulls what Git calls “fast-forward” changes
- merge pushes/pulls non-fast-forward changes
2 Likes