Hi all,

I've finished migrating the gitorious.org 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 https://github.com/orocos-toolchain/build.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 https://github.com/orocos-toolchain/log4cpp.git

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 -;
done

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
https://github.com/orocos-toolchain/$(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.

Peter