[doc] git-pull configuration