On 12 January 2018 at 08:42, Eric S Fraga <esflists@gmail.com> wrote:

> On Thursday, 11 Jan 2018 at 20:13, Reuben Thomas wrote:
> > Hi,
> >
> > I just tried to update my worg repo clone for the first time in a while,
> > and my key no longer seems to work. The key hasn't changed, but I see
> from
> > ssh output that the host for the repo has. I attach my public key in case
> > it needs to be re-installed.
>
> Specifically, Bastien said:
>
> For Org and Worg COMMITTERS
> ============================
>
> You will need to create a new user on https://code.orgmode.org in
> order to push commits to org-mode.git or worg.git:
>
> 1. Create a user on https://code.orgmode.org
> 2. Add your ssh public key
> 3. Send me an email to be added as a collaborator on Org/Worg


​Thanks very much, Eric.​ Did I overlook these instructions online, or if
they're not there, could they be posted on the web site?

-- 
https://rrt.sc3d.org