[darcs-users] Re: publishing repo with no working dir
David Roundy
droundy at darcs.net
Mon Jun 13 11:35:30 UTC 2005
On Mon, Jun 13, 2005 at 12:04:15PM +0300, Jani Monoses wrote:
> >I think your idea is sound, as long as your careful about how you use
> >the repo. In the case where your publishing the repo to a web server, it
> >seems like a great solution.
>
> Thinking more about it I came to the conclusion that this is not actually
> a push variant rather a 'darcs mirror', since selective pushes might mean
> an inconsistent remote repo, since skipping the apply step means skipping
> validity check. But for a darcs mirror operation I think it would be
> just OK.
Actually, I think darcs is sufficiently well bug-tested that I wouldn't
worry about the consistency checking. Leaving out the working directory
would be quite a reasonable feature to add, and would actually make the
apply code significantly faster in comparison with --no-pristine. It just
takes someone who wants to put in the effort to support this.
--
David Roundy
http://www.darcs.net
More information about the darcs-users
mailing list