Jump to content

Git repository on this server

From HW wiki

This server can host two types of Git repositories.

Central repositories
These repositories are located under /var/git directory and can be browsed online. Only server administrators can create and controll access to central repositories. Central repositories are usually public (read-only accessible to everybody).
Personal repositories
Any user with shell access can can create his/her own git repository under his/her home directory and make it public using git protocol.

Creating a personal repository

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

First push (upload)

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

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 login@rtime.felk.cvut.cz:/var/git/repo-name.git
git config branch.master.remote origin
git config branch.master.merge refs/heads/master
  • Push your sources to the server
git push --all


How can other people access your repository

Once the repository is not empty, 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

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

Personal repository

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


For other hints refer to the git documentation or to this page.

Using personal repository to contribute to other projects

If you do not have write access to the repository of some project (e.g. 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. Edit files in project...
  3. Commit your changes 
    git commit ...
  4. Add your rtime personal repository as remote (using SSH access) 
    git remote add personal yourlogin@rtime.felk.cvut.cz:myproject.git
  5. Push your changes to your personal repository 
    git push personal
  6. Write email to somebody with write access merge changes in git://rtime.felk.cvut.cz/~yourlogin/myproject.git
Retrieved from "https://rtime.felk.cvut.cz/hw/index.php?title=Git_repository_on_this_server&oldid=3486"