Slight change on git repository creation command.
Authored by: jplang 2008-09-17
Parent: [r1875]
Child: [r1877]