Gitorious repositories/project pages will be moved to Github

Hi all,

I've finished migrating the repositories to github and
you all should start pointing your remotes to the github equivalent in
the next weeks.

If you're using autoproj, you'll have to use

autoproj switch-config git

but autoproj has not been updated yet to contain an autoproj/github.rb
module... Since rock is in the process of migrating as well, I expect
this will be fixed in the near term.

Instructions if you've checked out manually (without autoproj):

Update one repository (with push access):
cd log4cpp
git remote set-url origin git [..] ...:/orocos-toolchain/log4cpp.git

or without push access:

git remote set-url origin

Update a bunch of repositories if you have push access:

cd orocos_toolchain
for i in $(find . -mindepth 2 -type d -name .git); do cd $(dirname
$i); git remote set-url origin
git [..] ...:orocos-toolchain/$(basename $(dirname $i)).git; cd -;

If you don't have commit access:

for i in $(find . -mindepth 2 -type d -name .git); do cd $(dirname
$i); git remote set-url origin$(basename $(dirname $i)).git; cd
-; done

As of now, we're taking github pull requests and issues. There is no
automatic synchronisation going on from gitorious to github or the
other way around.