1.0.2dev: check that the `HEAD` file in git repository is readable (refs #11220)
Authored by: jomae 2013-07-07
Parent: [r11837]
Child: [r11839]