diff options
author | Bastien <bzg@gnu.org> | 2018-02-27 08:36:13 +0100 |
---|---|---|
committer | Bastien <bzg@gnu.org> | 2018-02-27 08:36:13 +0100 |
commit | ca4ddc331c98e2c2af5e79761eb032f9132ced17 (patch) | |
tree | a59510f92ec906d9fccb03addd14e782643b5e77 | |
parent | fffd300efdfa21211c99955b3f9bbc7a1d23e5f8 (diff) | |
download | org-mode-ca4ddc331c98e2c2af5e79761eb032f9132ced17.tar.gz |
README_contribute: don't mention repo.or.cz mirror
This clone is obsolete.
-rw-r--r-- | README_contribute | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/README_contribute b/README_contribute index 69d4e36..2421a0a 100644 --- a/README_contribute +++ b/README_contribute @@ -18,17 +18,12 @@ development. patches that can easily and consistently be applied to the main repository. -2. There is a mirror hosted publicly at repo.or.cz. Anyone can - get a clone of the current repository state using the command - - git clone git://repo.or.cz/org-mode.git - -3. People who are interested in participating to the Org mode +2. People who are interested in participating to the Org mode development can do so by sending patches to this address: [[mailto:emacs-orgmode@gnu.org][emacs-orgmode@gnu.org]] -4. An interested developer can also request push access to the +3. An interested developer can also request push access to the central repository by creating an account on code.orgmode.org and by sending her/his user info to the maintainer. |