User Tools

Site Tools


dev:git:admin

This is an old revision of the document!


Git server administration

We use Gitolite to manage access to the Evergreen Git repositories. Gitolite using a Git repository to store its configuration; changes are made by pushing commits to it.

Common tasks

Check out the configuration repository

git checkout git@git.evergreen-ils.org:gitolite-admin

Note that this works only if you have an SSH key registered and you are a member of the gitadmin group.

Add a key

In order to get access to push to the working repositories, a contributor should provide one or more SSH public keys, either DSA or RSA in OpenSSH format. A unique username should be chosen; if not specified by the contributor, their IRC nick is a good choice.

If one key is provided, name the file nick.pub. If multiple keys are provided, name them like this:

  1. nick@foo.pub
  2. nick@bar.pub
  3. nick@baz.pub
  4. etc.

Both nick.pub and nick@quux.pub can be used simultaneously.

In your checkout of gitolite-admin, put the key files in the keydir/ subdirectory. Use normal Git commands to create a commit containing the new files, then push it:

git push origin master

A hook will complain if something is wrong with the new keys.

dev/git/admin.1378827886.txt.gz · Last modified: 2022/02/10 13:34 (external edit)

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki

© 2008-2022 GPLS and others. Evergreen is open source software, freely licensed under GNU GPLv2 or later.
The Evergreen Project is a U.S. 501(c)3 non-profit organization.