git-fetch/push/pull: documentation.