Change ssh user

Hi everyone,

we're using an account several persons share. In this common account's
home dir lies an svn working copy. The repository belonging to this
working copy is located on a server which is accessed via ssh. On this
server each of the individual persons has his or her proper account.

Now the problem is: The ssh URL in the .svn/entries file keeps the
username of the person who checked out the working copy
initially. This means nobody else can access the
repository. --username doesn't seem to work, neither does svn
switch. Is there any elegant way to change the ssh username to use
(writing a script to recursively change the .svn/entries files doesn't
count as elegant by my definition).

Many thanks in advance and kind regards,

        Christian Mertes