@JuhaManninen
Its good to know that github also give access through SVN.
However, I meant to have the non-changing sources remain available for a while to make the transition a bit smooth.
I understand now that these sources are currently hosted on a server that will be decommissioned. So, its understandable that this is not possible.