Org server changes?

Org server changes?

[Simon Thum]

Hi all,

I tried to pull Worg and got no connection. Also ssh complained about 
everything it possibly could. The remote is

   worg@orgmode.org:worg.git

Is my/Worg access going to be restored, or did someting change?

Cheers,

Simon

Re: Org server changes?

[Achim Gratz]

Simon Thum writes:
> I tried to pull Worg and got no connection. Also ssh complained about
> everything it possibly could. The remote is
>
>   worg@orgmode.org:worg.git

Make the remote git://orgmode.org/worg.git and add (to the local or the
global) configuration:

[url "git+ssh://worg@orgmode.org/~/worg.git"]
        pushInsteadOf = git://orgmode.org/worg.git

That takes care of not using ssh when you don't need it (pull) so even
if your ssh setup is hosed you still know the server is working.  It
seems you haven't been using Worg in a while, so you will probably need
to remove the old server key from the ssh configuration and let it pick
up the new one.


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

SD adaptation for Waldorf microQ V2.22R2:
http://Synth.Stromeko.net/Downloads.html#WaldorfSDada

Re: Org server changes?

[Simon Thum]

Hi Achim,

I'll take care of that no prob but I looked up WOrg before writing this 
email and I do not remember to have seen that:

http://orgmode.org/worg/worg-git.html

Anyway, good to know it's not some server went down.

Cheers,

Simon

On 11/25/2012 10:22 PM, Achim Gratz wrote:
> Simon Thum writes:
>> I tried to pull Worg and got no connection. Also ssh complained about
>> everything it possibly could. The remote is
>>
>>    worg@orgmode.org:worg.git
>
> Make the remote git://orgmode.org/worg.git and add (to the local or the
> global) configuration:
>
> [url "git+ssh://worg@orgmode.org/~/worg.git"]
>          pushInsteadOf = git://orgmode.org/worg.git
>
> That takes care of not using ssh when you don't need it (pull) so even
> if your ssh setup is hosed you still know the server is working.  It
> seems you haven't been using Worg in a while, so you will probably need
> to remove the old server key from the ssh configuration and let it pick
> up the new one.
>
>
> Regards,
> Achim.