On 9 Apr 2009, at 14:36, Eric Kow wrote:
I think the conclusion was that I would (somewhat reluctantly) accept
patches for darcs push --mark-conflicts and darcs push --allow- conflicts
being options.

Thanks for the link.  Sorry for not searching the archives.

How about making `darcs push --mark-conflicts` and `darcs push --allow- conflicts` only work on local repositories? That way the workflow would be:

% cd repo-with-conflict # originally from m...@server:repo
% darcs get m...@server:repo ../repo-merge
% darcs push --mark-conflicts ../repo-merge
% cd ../repo-merge
### fix conflict ###
% cd ../repo-with-conflict
% darcs pull
% darcs push m...@server:repo

WDYT?

As a second thought, this makes me also wonder if there'd be benefit in being able to:

% darcs push --last-remote

which would make:

% darcs push --mark-conflicts ../repo-merge
% darcs push --last-remote

equivalent to:
% darcs push --mark-conflicts ../repo-merge
% darcs push m...@server:repo

(I have been in the habit of doing `darcs get` locally as much as possible to avoid changing the remote repository.)

WDYT?

Ashley

--
http://www.patchspace.co.uk/
http://www.linkedin.com/in/ashleymoran
http://aviewfromafar.net/
http://twitter.com/ashleymoran






_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to