If your machine doesn't have AFS, you can have git use ssh to interact with the main repo. Your clone command would look like this:
 
 {code}
-$ git clone ssh://chopin.cs.wisc.edu/p/condor/repository/CONDOR_SRC.git
+$ git clone ssh://library.cs.wisc.edu/p/condor/repository/CONDOR_SRC.git
 {endcode}
 
 The main source repository now includes the documentation sources as well.