Moving the git repo to github [done]

Update: the git repository officially resides in github now. Today we are moving our git repo from to github, as it was agreed in the developer meeting that took place yesterday. This will happen today 22:00 – 23:00 CEST What should I do now? Depends on the role you play in the project. You have commit rights into current repository: please open an account in github if you … Continue reading