magit-push-tags: cosmetics
magit-pull: fix doc-string