add --pull flag to sync-docs, pull existing repo if nec#726

Rich-Harris merged 2 commits intomainsveltejs/svelte.dev:mainfrom

better-syncsveltejs/svelte.dev:better-syncCopy head branch name to clipboard