[darcs-users] updating the wiki with a darcs push?

[Ben Franksen]

Ivan Zakharyaschev wrote:
> 2013/6/21, Ganesh Sittampalam <ganesh at earth.li>:
>> In darcs, an anonymous push is a "send" - i.e. use "darcs send", which
>> because of the configuration of the wiki repo, should default to sending
>> the change to patches at darcs.net where someone can check and apply them.
>>
>> The extra security over just being able to edit the wiki directly online
>> is because there are more things you can do with direct repo access.
> 
> I see. Thanks for the explanation!
> 
> After reading the manual some time ago, I had the impression that
> "darcs push" will somehow fallback to "darcs send" in such cases.

This is actually a pretty nice idea!

(Darcs should ask for confirmation, just to be on the safe side.)

> That's not true, is it? I have to use explicitly the "send" command,
> haven't I?

Yes.

Cheers
-- 
Ben Franksen
()  ascii ribbon campaign - against html e-mail 
/\  www.asciiribbon.org   - against proprietary attachm€nts