<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">To: <a href="mailto:darcs-users@darcs.net">darcs-users@darcs.net</a><br>
<br>
OK, I'll bite :-)<br>
<br>
A possible alternative would be to allow the user to give nicknames to<br>
other repositories: "1.3_test", "steve", "production" and so on. Then<br>
the user could type "darcs push production" or "darcs pull steve".<br>
Is there already a facility for doing this? If so, I couldn't find it. I<br>
see two possibilities: adding a git-like "darcs remote" command, or<br>
prompting the user for a short name the first time a new repo is used<br>
(but what if they mistype the name? We'd probably need "darcs remote"<br>
anyway).<br></blockquote><div><br></div><div> I would like this feature, either as originally proposed or Miles's alternative (or both...)</div><div><br></div><div>Having said that, here's my attempt to play skeptic:</div>
<div><br></div><div>Wouldn't this feature be much less useful if darcs had in-place branching? The only repos I typically communicate with are a remote-hosted (publically available) repo and other local repos. With in-place branching, darcs would be aware of all my local branches, so I would only ever communicate with one remote repo.</div>
<div><br></div><div>John L.</div></div>