I don't have my old checkout any more, but wouldn't we use, e.g., svn+ssh://k...@svn.savannah.gnu.org/gnueval to access? (As shown on https://savannah.gnu.org/svn/?group=gnueval)
Sorry if that's what you're already saying ...
I don't have my old checkout any more, but wouldn't we use, e.g., svn+ssh://k...@svn.savannah.gnu.org/gnueval to access? (As shown on https://savannah.gnu.org/svn/?group=gnueval)
Sorry if that's what you're already saying ...