I see, thanks very much. [stardiviner] <Hack this world!> GPG key ID: 47C32433 IRC(freeenode): stardiviner Twitter: @numbchild Key fingerprint = 9BAA 92BC CDDD B9EF 3B36 CB99 B8C4 B8E5 47C3 2433 Blog: http://stardiviner.github.io/
On Sat, Jun 17, 2017 at 8:46 PM, Bastien Guerry <[email protected]> wrote: > "[email protected]" <[email protected]> writes: > > > Did my SSH public key add to org-mode repository? > > Now yes. > > You first need to pull org-mode again like this: > > ~$ git clone [email protected]:org-mode.git > > Then you will be able to push commits. > > Do not commit changes outside of the contrib/ repository. > > If you have signed the FSF copyright papers, please let me > know under what name. > > Best, > > -- > Bastien >
