Jump to navigation Jump to search

Using UFRC Git Server

Note: Use git.ufhpc hostname from inside HiPerGator and 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:
  1. What group will be accessing it.
  2. Who would be the group administrator (username).
  3. How soon you need it set up.
  4. How much space you need i.e. what type of content is going to be stored in the repository.
  5. The uptime requirements i.e. whether the occasional downtime is acceptable.
  6. 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 and configure it for the administrator. After that the administrator 'admin' can do the following:

Repository Administration

Check out the admin repository

git clone

or change into the gitolite-admin directory if already cloned and run 'git pull' to refresh the local working tree from the server.

Add users

Single machine
e.g. user 'jdoe' working on a single machine who provided the repository administrator with a public ssh key named
cd gitolite-admin
cp ~/ 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_laptop
git add *
git commit -m "added a new key from jdoe_laptop for user jdoe"
git push

Grant Access

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.

repo test1

   RW+     =   janedoe johndoe
   R       =   @all


repo test1

   RW+     =   @mygroup
   R       =   @all
# Groups
@test_group  = janedoe johndoe

Access types:

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:
mkdir denovo
cd denovo
git init
git remote add origin
  • 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)
* [new branch]      master -> master

User Activities

Regular cycle of git repository usage

  • Clone the denovo repository
git clone


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
cd denovo

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 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/config file on a local machine that need to be configured. Let's assume that the main configuration is
Host hpcgit
   User awesomegroup
   IdentityFile ~/.ssh/id_rsa

To be able to use an alternate key add the following configuration

Host hpcgit2
   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.

Graphical User Interfaces to Git

How to use TortoiseGit to clone a Git Repository