Hi Jason
Achim Gratz writes:
> Nick Dokos 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 t
Nick Dokos 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
Achim Gratz wrote:
> Bastien writes:
> > We also migrated all public keys from repo.or.cz to orgmode.org:
> > so people who had push access to Worg can push without bothering
> > about sending their public key again. Just do:
> >
> > ~$ git clone w...@orgmode.org:worg.git
>
> That does not s
Achim Gratz writes:
> That does not seem to work for me, how to proceeed?
Please resend your public key to Jason or to me, we will
add it if it has not been copied (some keys maybe be missing.)
Thanks!
--
Bastien
Bastien writes:
> We also migrated all public keys from repo.or.cz to orgmode.org:
> so people who had push access to Worg can push without bothering
> about sending their public key again. Just do:
>
> ~$ git clone w...@orgmode.org:worg.git
That does not seem to work for me, how to proceeed?
Dear all,
thanks a lot to Jason for taking care of Worg's migration.
We also migrated all public keys from repo.or.cz to orgmode.org:
so people who had push access to Worg can push without bothering
about sending their public key again. Just do:
~$ git clone w...@orgmode.org:worg.git
Thanks
Worg contributors,
The Worg git repository migration to the org server is complete. To
contribute, you'll need to send your public SSH key to Bastien or I.
Then, once you receive confirmation that the key has been added, edit
your worg/.git/config file and set the remote URL to
w...@orgmode.org:w
