summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBastien <bzg@gnu.org>2018-02-27 08:42:24 +0100
committerBastien <bzg@gnu.org>2018-02-27 08:42:24 +0100
commit0ddb912fb3278de1682837a4034249e36fe67cfe (patch)
treea5360409a9d489e4aab3077ad82f0a604245c861
parentba42085e8f2d9ffb0fc2c71faef337424eb2b3b2 (diff)
parentf400694165b08aec5a63e1d61873bae444212e7e (diff)
downloadorg-mode-0ddb912fb3278de1682837a4034249e36fe67cfe.tar.gz
Merge branch 'maint'
-rw-r--r--README_contribute9
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.