docs: small fix: 'Pull' -> 'Push'

[simonbrowndotje]

Thanks ... the push command does actually pull down a copy of the workspace, so docs are correct, albeit confusing. I will fix that.