When I have committed all my changes, git lens in VS Code offers me to "sync changes". When I hover over the button however, it says "push commits to remote repository"
Aren't push and sync different things? AFAIK "sync" pulls and then pushes, while "push" only pushes.
So... what does the button actually do?