Re: updating the wiki with a darcs push?

Hello!

On Fri, 21 Jun 2013, Ganesh Sittampalam wrote:

> On 20/06/2013 13:30, Ivan Zakharyaschev wrote:
>
>> I've got the wiki source with "darcs get --lazy
>> http://darcs.net/darcs-wiki" as advertised on the site, recorded an
>> edit locally (which adds a tip), and now I'd like to push it in order
>> to publish my changes.
>>
>> Can I do this?
>>
>> I know that in the world of Git, there are sites which would allow
>> "anonymous" pushes in similar situations. [...]
>>
>> What about darcs.net's wiki?
>
> 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 [email protected] where someone can check and apply them.

"darcs send" run in a clone of the wiki repo wants--as before--to send 
patches to this list, namele, darcs-users@. Is this correct?

$ darcs send --dry-run
Creating patch to "http://darcs.net/darcs-wiki"...
Patch bundle would  be sent to: [email protected]
Would send the following changes:

My concern was that this is probably not at the level of automation of 
applying the patches as I'd wish (without an intervention of a human 
administrator; people edit the wiki without requiring the administrator to 
do something).

> 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 and agree.

> We're looking at
> adding general support for submitting patches over http instead, but
> it's not all there yet.

Has something changed in this respect since then? I see "darcs help send" 
mentioning posting to HTTP:

If `_darcs/prefs/post` exists in the target repository, darcs will
upload to the URL contained in that file, which may either be a
`mailto:` URL, or an `http://` URL.  In the latter case, the
patch is posted to that URL.

Does this work? Can the wiki be setup to automatically accept changes via 
HTTP posts?

Best regards,
Ivan