|
From: Carcassi, G. <car...@bn...> - 2010-08-16 16:21:08
|
Hi all, We are done! The repository is up again and ready to be used. --> Please, re-clone, and don't push from older copies! <-- I have removed older repository that are not needed (the subversion one, the strawman and the sandbox). They are left as "corrupt" because the file permissions on sourceforge were not set correctly, and I'll have to open a ticket to really remove them. Also, I have enabled e-mail notifications on this list for every push (one mail per push, regardless of the number of changeset). What really hit us was that the changes went unnoticed for some time, so this should encourage faster review of the changes. Enjoy, Gabriele |