Re: Worg migration complete

[Martyn Jago <martyn.jago@btinternet.com>]

Hi Jason

Achim Gratz <Stromeko@nexgo.de> writes:

> Nick Dokos <nicholas.dokos@hp.com> writes:
>> ... but then you'll encounter problems when you try to push, right?
>
> Yes.  It's sorted now, thanks to Jason.  First there was some bogus
> newlines in the authentication file of the server, so some keys were not
> recognized.  The remote to push to must be
>
>   worg@orgmode.org:worg.git
>
> Alternatively, in URL syntax that is
>
>   git+ssh://worg@orgmode.org/~/worg.git
>
> The crucial part is the "~", otherwise it'd search the repository in the
> root directory.  Since I pull via the public interface to avoid the
> overhead of an encrypted connection unless it is really needed, I've put
>
> [url "git+ssh://worg@orgmode.org/~/"]
>         pushInsteadOf = git://orgmode.org/
>
> in my global .gitconfig; you could also have that in the repository
> config or configure separate pull and push URL for the remote.
>
>
> Regards,
> Achim.

The relocation of Worg has proved to be very painless for me, and I
really like the new `instant publishing' feature, which works great!

Thanks for your time and effort on these changes.

Best, Martyn