Hi Jason Achim Gratz <strom...@nexgo.de> writes:
> Nick Dokos <nicholas.do...@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 > > w...@orgmode.org:worg.git > > Alternatively, in URL syntax that is > > git+ssh://w...@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://w...@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