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 <b...@gnu.org> wrote: > "numbch...@gmail.com" <numbch...@gmail.com> 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 orgm...@orgmode.org: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 >