This is an old revision of the document!
−Table of Contents
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) - 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>
Other issues
- Discard a commit:
git reset –hard HEAD~1(can also use–soft HEAD^to step back a commit) - Missing [ or ] in gitosis.conf : ask Guido Koelsh to fix error on the git server.
