Hi Jason Achim Gratz <[email protected]> writes:
> Nick Dokos <[email protected]> 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 > > [email protected]:worg.git > > Alternatively, in URL syntax that is > > git+ssh://[email protected]/~/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://[email protected]/~/"] > 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
