Project

General

Profile

Getting invovled

Get fully involved you need several accounts.

Redmine access

Register via the link on the top right of this page, then your account will be unlocked by the administrator in the next days. This gives access to the wiki, the bug tracker and the web appearance of COOL. In case of trouble contact Edgar Taube.

GIT push access

Everybody can clone the git repository, see Download, and send patches. For direct push access, send your public ssh-key to Edgar Taube, then you can pull from and push to the following:

gitolite@cal8.cs.fau.de:cool

Then you can clone it via

git clone gitolite@cal8.cs.fau.de:cool
# and then pushing is via
git push

For existing repositories do

git remote add cal8 gitolite@cal8.cs.fau.de:cool
# pushing is via
git push cal8 master

# or via
git branch --set-upstream master cal8/master # only needed once
git push