Update 'pull' documentation to not talk about 'push'#282

okdistribute merged 2 commits intodat-ecosystem:masterdat-ecosystem/dat:masterfrom

chuesler:patch-1chuesler/dat:patch-1Copy head branch name to clipboard