[Rock-dev] diverging github and gitorious

[Sylvain Joyeux]

2014-07-18 9:46 GMT+02:00 Jakob Schwendner <jakob.schwendner at dfki.de>:
> Hey, I noticed that we started getting diverging repos in github and
> gitorious.  (e.g. vizkit has some updates on gitorious, that github hasn't)
> can we make the repos at gitorious readonly, or was there another reason?

Please do. The only reason was that I spent already too much of my
time to do this migration.

Sylvain