GIT for Online users

Git is installed on all plus nodes. If you are needing it on another server please make a ticket.

For some purposes it is useful to have a github repository server locally available in the LHCb Online system. This is available at github.lbdaq.cern.ch. In order to create a repository you need to create a ticket providing the following information:

• Users IDs which should have access together with their public ssh-keys
• Name of the repository
• Access permissions for the users and/or world-read-ability

Done that you can then simply do

git clone git@github:<name_of_your_repo>

All the usual git commands will work. In particular also git push

Importing an existing GIT repository (contributed by Sandra Saornil)

I managed to migrate my local repository to the one you set up. In case
someone else needs to do it and they already had a local repository just
like me and they want to keep the history and so on, this is what I did
from my local repository:

git remote add random_name git@github:Repository_name
git push random_name master
git remote rename random_name origin

So now I can use the default git push origin and it kept all the history
I already had.

-- Main.niko - 10 Jul 2012