box "off" fails

[Thomas Weber]

On 01/08/08 08:57 +0200, Jaroslav Hajek wrote:
> On Thu, Jul 31, 2008 at 9:13 PM, John W. Eaton <jwe at bevo.che.wisc.edu> wrote:
> Um, sorry - don't mind that, the suggestion was actually dedicated to
> Thomas. I suggested that he kept a pure clone of your main repo
> amongst the other repos, so that people can update their repos from a
> local common source (to save space on the server). But now I see that
> it only makes sense when working directly on the remote server, which
> is not what one will typically do (though I did it yesterday). So
> forget about this.

You mean everyone needs a pristine copy of John's repo on the server? Hmm,
neither space nor bandwidth is currenly a problem. But if the need arises, I
already have a non-public clone of John's repository on the server in my
home directory.

"hg pull -u" could be implemented via a short script that has a set user id
(s) bit, so it's possible without much work.

Just ask me if you think it's usefull.

	Thomas