4. Appendices

4.1. Git credential storage

During « . /doc_build.sh sync``, there are several connections to the remote repository. It is comfortable to store the identifiers so as not to have to. enter multiple times.

• To store identifiers:

  git config --global credential.helper store

• Credentials are stored in ``~/.git-credentials**

• See the section

  < https://git-scm.com/book/en/v2/Git-Tools-Credential-Storage>`git-credential-store`_ in GitBook for the format of this file.