- This Server/service is slated to be sunset. We are working on a GitLab instance that will be much more modern and capable than the current gitolite based Git server.
Using UFRC Git Server
Note: Use git.ufhpc hostname from inside HiPerGator and git.rc.ufl.edu from the outside when cloning any repository from the UFRC Git Server.
Request a group Git archive
This is the first step. As a result the group will have a Git archive on the UFRC Git server that they can add any number of repositories to and have full control of access privileges and membership.
As an example we'll use the awesome group, administrative user (set up by UFRC staff) admin and a regular user student.
- Open a support ticket in the UFRC Support] ticket system with a name like "Create an UFRC Git repository for the "Awesome" group.
- List your projected git usage:
- What group will be accessing it.
- Who would be the group administrator (username).
- How soon you need it set up.
- How much space you need i.e. what type of content is going to be stored in the repository.
- The uptime requirements i.e. whether the occasional downtime is acceptable.
- Where the repository administrator's public ssh key can be found (you can paste it into the support ticket).
- Assuming that your usage pattern falls within the limits of our resources we'll create a repository 'awesome' on git.rc.ufl.edu and configure it for the administrator. After that the administrator 'admin' can do the following:
Check out the admin repository
git clone firstname.lastname@example.org:gitolite-admin.git
or change into the gitolite-admin directory if already cloned and run 'git pull' to refresh the local working tree from the server.
- Single machine
- e.g. user 'jdoe' working on a single machine who provided the repository administrator with a public ssh key named jdoe.pub
cd gitolite-admin cp ~/jdoe.pub keydir/ git add keydir/* git commit -m "added user jdoe" git push
- Additional machines
- if a user needs to access the repository from another machine named, for example, 'jdoe_laptop'
cd gitolite-admin/keydir mkdir jdoe_laptop cp ~/jdoe.pub jdoe_laptop git add * git commit -m "added a new key from jdoe_laptop for user jdoe" git push
Once a new user (but not a new key for an existing user) is added they need to be granted access to appropriate repositories. This is done by editing the config/gitolite.conf file, then committing and pushing the commit to the server.
For example, to allow access from users 'janedoe' and 'johndoe' to a repository 'test1' either add their gitolite key names to the access list for that repository or create a gitolite group, add the users to the group and grant the group access to the repository.
RW+ = janedoe johndoe R = @all
RW+ = @mygroup R = @all
# Groups @test_group = janedoe johndoe
RW+ means 'Read and Write access' R means 'Ready-only access'
Create a new repository
- For example, an admin wants to create a repository called denovo for de novo assembly scripts and set access to users admin and student
cd gitolite-admin vim conf/gitolite.conf
Add a group configuration:
@mygroup = admin student
Add a repository configuration repo denovo
RW+ = @mygroup R = @all
- Commit and push
git add * git commit -m "Set up a new repository denovo for use by admin and student" git push
- Create a local working tree for the denovo project:
cd mkdir denovo cd denovo git init git remote add origin email@example.com:denovo.git
- Add and edit some files
- Commit and push to the Git server
git add * git commit -m "Initial import" git push origin master
Initialized empty Git repository in /git/awesome/repositories/denovo.git/ Counting objects: 3, done. Writing objects: 100% (3/3), 231 bytes, done. Total 3 (delta 0), reused 0 (delta 0) To firstname.lastname@example.org:denovo.git * [new branch] master -> master
Regular cycle of git repository usage
- Clone the denovo repository
git clone email@example.com:denovo.git
Cloning into denovo... remote: Counting objects: 3, done. remote: Total 3 (delta 0), reused 0 (delta 0) Receiving objects: 100% (3/3), done.
- Work in the git working tree
Edit and add files
- Commit and push the changes to the repository
git add * git commit -m "The changes I made" git push
Git email reports
We can enable Git email reports for any repository. Please email the support or file a suport ticket. Once enabled, every "push" to the remote repository on git.rc.ufl.edu will produce a commit email report to a defined list of email addresses.
Multiple SSH keys
To enable a user to have multiple ssh keys for accessing the UFRC Git server the repository administrator can simply put the user's keys under subdirectories in the 'keydir', add, commit, and push as usual. The user must make sure they're using the right key. It's often convenient to create a SSH configuration for each particular combination of repositories and keys. For example,
- Edit your
~/.ssh/configfile on a local machine that need to be configured. Let's assume that the main configuration is
Host hpcgit HostName git.rc.ufl.edu User awesomegroup IdentityFile ~/.ssh/id_rsa
To be able to use an alternate key add the following configuration
Host hpcgit2 HostName git.rc.ufl.edu User awesomegroup IdentityFile ~/.ssh/id_rsa_my_other_key
Once configuration is done you'll be able to check out the repository via
git clone hpcgit2:my_repository
Notes: Make sure that the User is set to your group's Git account and not your personal HPC account name.