best way to restore a 'svn rm " file

One of my developers did a
svn rm foo.java
command, and committed it. He meant well, but it was not a good idea.

I could retrieve the file from the repository with

svn update foo.java -r 1234

which would retrieve an older copy. svn would display a "A" with the file.

but svn status
showed nothing. Nothing to commit.

and a subsequent
svn update
would delete the file again.

What is the proper sequence of commands to get the file back and insert
it back into the repository? I'd rather that the deletion be vanished,
but if that is hard, what it the proper way to get it back and add it
back to the stream of revisions?

Thanks
Received on 2010-01-28 05:03:23 CET