2014-07-18 9:46 GMT+02:00 Jakob Schwendner <[email protected]>: > 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 _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
