Git repository on this server

Repository Types

This server can host two types of Git repositories.

Central repositories

These repositories are managed by Gitolite tool which allows convenient management of developer permissions. Those repositories which are readable by public can be browsed online.

Personal repositories

Any user with shell access to this server can can create his/her own git repository under his/her home directory and make it public using git protocol.

Central Repositories

Write access can only be given to users who sent his/her Open SSH public key to the administrator together with his/her university assigned login name (if any). The key can be created on Linux/Unix by:

 ssh-keygen

By default it is stored at ~/.ssh/id_rsa.pub.

Creating central repositories

To create the repository send an email to the administrator with the name of the repository, a short description and a list of people (SSH public keys) which should have access to the repository.

Personal repositories

A personal repository can be created this way:

ssh login@rtime.felk.cvut.cz
mkdir $HOME/myproject.git
cd $HOME/myproject.git
git init --bare --shared=everybody

If you want to make your repository public, it has to be accessible by user nobody. It is usually sufficient to give "x" permission to your home directory:

setfacl -m user:nobody:x $HOME

Accessing the repository

Everybody can use one of following commands to work with the code in the repository (it is not necessary add origin and configure remote branches as described above):

Central repository

Read-only access for public repositories:

git clone git://rtime.felk.cvut.cz/repo-name.git

Access managed by gitolite (for users with registered SSH key):

git clone git@rtime.felk.cvut.cz:repo-name

Personal repository

Read-only access for public repositories: git clone git://rtime.felk.cvut.cz/~yourlogin/repo-name.git

First push

After an empty repository is created either by you (personal) of by an admin (central), you can push (upload) the data to it:

• (Optional -- needed only for personal repos): Setup passwordless login to the server
• Install Git on your local computer

For git 1.6.2 and newer:

• Clone the empty repository.
• Put your sources into your cloned repository

git add .             # tells git to track all files in your project
git commit            # commits the added files to the repository

• Push your sources to the server

git push

For older git versions:

• Put your sources into your local repository

cd your/project
git init              # initializes git repository in your project's directory
git add .             # tells git to track all files in your project
git commit            # commits the added files to the repository

• Then "connect" your repository to the one on this server (replace login by your login and repo-name by the name of repository created for you)

git remote add origin git@rtime.felk.cvut.cz:repo-name  # this is for central repos
git config branch.master.remote origin
git config branch.master.merge refs/heads/master

1. Push your sources to the server

git push --all

Contributing to other projects

Using personal repository to contribute to other projects

If you do not have write access to the repository of some project (not necessary a central repository on this server), you can work in your personal repository then ask somebody with write access to merge your changes.

1. Clone a central repository

   git clone git://rtime.felk.cvut.cz/project.git

2. Add your rtime personal repository as remote (using SSH access)

   git remote add personal yourlogin@rtime.felk.cvut.cz:myproject.git

3. Edit files in project...
4. Commit your changes

   git commit ...

5. Push your changes to your personal repository

   git push personal

6. Write email to somebody with write access to merge changes in git://rtime.felk.cvut.cz/~yourlogin/myproject.git

Merging changes from forks

git remote add fixes git://rtime.felk.cvut.cz/project/forkname.git
git fetch fixes (or git remote update)
git merge fixes/master