12 GB repo - need to destroy files

I have a 12GB repo and 40 users. I have a list of 500 or so large files
I would like to delete or "zero length" to conserve hard space on the
server. Is it possible do do this in a way that does not require users
to re-checkout?

My two ideas:

1. Re-checkout not required
a) stop server
b) dump
c) replace bad files with a single character (anyone have a tool that
does this?)
d) load
e) start server

2. Re-checkout required
a) have everyone commit their work
b) have everyone delete svn checkouts from their hard drive
c) stop server
d) dump
e) eliminate bad files
f) load
g) start server
h) have everyone re-checkout files

Thanks,

Chris

---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@subversion.tigris.org
For additional commands, e-mail: users-help@subversion.tigris.org
Received on Wed Nov 14 04:01:21 2007