improve git repository note at project setting (#9129).
Contributed by Tomas Pospisek.
Authored by: tmaruyama 2011-08-26
Parent: [r6637]
Child: [r6639]
