If this worked there could be a darcs push variant which created such
non-working-dir, repository-only repos without the need for server
side darcs as applying would not be needed.
Jani,
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.
Jani
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
