Adding files/directories
- Clone a project first. The project needs to added by the administrator:
git clone gitosis@git.mpifr-bonn.mpg.de:testproj.git(replacetestprojwith your project name) - If your project was just created, the
clonecommand above creates an empty directory named after your project. - Create and/or edit files/directories
- Add, commit and push changes:
git add <list_of_files/dirs>git commit -a -m "Added <list_of_files>"git push
- Any new version can also be "pushed" in a similar fashion as above.
- google for more information!
Pushing an existing repository to the gitosis server
- Create project/configurations. This is done by the admin (see above).
- Add the git server as an alias to the existing repository:
git remote add <alias> gitosis@git.mpifr-bonn.mpg.de:<project_name>.git - Push repository to git server (from the existing repository):
git push <alias> <branch>
