Version Control

Git configuration

Git provides configuration parameters that are specific to the repository, the user and the running system. The basic configuration sets information about the author / user, default editor and default exclude / ignored files. Further customization can be achieved via alias / abbreviations.

Git user with ssh keys

Pushing changes of a git repository requires a ssh connection to the server. The default behavior is to push with a normal Unix account with username and password. In some cases it is necessary to push without entering a password. For this purpose ssh allows to authenticate via a ssh-key pair consisting of a public and a private key. With this solution scripts can automatically push git repositories to other servers.