[texdoc] Development moved to github

Philip TAYLOR P.Taylor at Rhul.Ac.Uk
Wed Nov 11 16:44:44 CET 2009

Manuel Pégourié-Gonnard wrote:
 > Hi all,
 > Just to announce that I moved texdoc's development code hosting to
 > github (sorry, Karl). Updated instructions to download and run the
 > development version are available at:
 > http://tug.org/texdoc/dev/

I know nothing about Git (other than the fact that
it is a fairly strong term of abuse in British
English), but in the instructions :

 > git clone git://github.com/mpg/texdoc.git (first time)
 > git pull (later)

How does it know, on the second occasion, to
"pull" the right thing ?  What happens if you

	git clone <something else>

in the meantime ?

** Phil.

More information about the texdoc mailing list