Extend paragraph about remote branches

diff --git a/pep-git.txt b/pep-git.txt
index b15aa543354fee81333b75cedc8f55f4b155ae46..d13193422d307f9068e66001c1d433e75995b6b0 100644 (file)
--- a/pep-git.txt
+++ b/pep-git.txt
@@ -173,9 +173,10 @@ To see local and remote branches (and tags) pointing to commits::
 
 You never do your own development on remote branches. You create a
 local branch that has a remote branch as upstream and do development
-on that local branch. On push git updates remote branches, and on pull
-git updates remote branches and fast-forwards, merges or rebases local
-branches.
+on that local branch. On push git pushes commits to the remote repo
+and updates remote branches, on pull git fetches commits from the
+remote repo, updates remote branches and fast-forwards, merges or
+rebases local branches.
 
 When you do an initial clone like this::