Asterisk Video and Media Server source trees switched to Sourceforge

From the Video List today.

Hi everyone,

Due to a failure in the server, I have decided to migrate the subversion repositories to sourceforge:

https://asteriskvideo.svn.sourceforge.net/svnroot/asteriskvideo/
https://mcumediaserver.svn.sourceforge.net/svnroot/mcumediaserver/

The sourceforge projects are:

http://sourceforge.net/projects/asteriskvideo/
http://sourceforge.net/projects/mcumediaserver/

Do you think that we should also use sourceforge's tracker/mailing list/forum instead/in addition to the asterisk video mailing list?

Best regards
Sergio