Add a repository

Register the database-model git repository this server should work with, together with a git account that may clone it. The repository is cloned onto the server and then offered on the login screen. The server pulls and pushes with this technical account unless a user enters a git identity of their own under My Settings.