On Sunday, 10 March 2013 at 08:41:40 UTC, Jonathan M Davis wrote: > ==> GIT checkout done or server timeout DUB outputs that? Git is not an acronym. It should be "Git".