/*
* We wish to read the repository's config file if any, and
* for that it is necessary to call setup_git_directory_gently().
/*
* We wish to read the repository's config file if any, and
* for that it is necessary to call setup_git_directory_gently().