ok. I need to use Git Bash, on Win 10. It prompts to enter the passphrase once only. Then I can use git push without reentering the passphrase. The Workspace: Sync works as expected from now.