bzr push, working directory, bzrtools

[Matthieu Moy]

Hi,

I've updated my bzr, and noticed there was now a native "bzr push". I
suppose the one in bzrtools can now be removed.

The push command doen't create a working directory. The documentation
should mention the way to re-create this working directory when the
user has a local access to the push location.

It seems "revert" does the trick. Perhaps there's a better way.

-- 
Matthieu