[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [O] Org server changes?

From: Simon Thum
Subject: Re: [O] Org server changes?
Date: Sun, 25 Nov 2012 23:40:47 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.10) Gecko/20121117 Thunderbird/10.0.10

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:


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



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


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

[url "git+ssh://address@hidden/~/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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]