summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMax Kellermann <max@musicpd.org>2019-04-10 11:36:03 +0200
committerMax Kellermann <max@musicpd.org>2019-04-10 11:36:03 +0200
commitcb6282e0a7360c21ecc7b7a86a5eb04d0703a143 (patch)
tree8f18c5d2c2eccb3e75859b5d15415f7b6dc0eff0
parentf6941f9a44037da0b7a1407052bd207d988273d7 (diff)
doc/developer.rst: remove mailing list, refer to GitHub instead
-rw-r--r--doc/developer.rst6
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/developer.rst b/doc/developer.rst
index c75305521..630ca3399 100644
--- a/doc/developer.rst
+++ b/doc/developer.rst
@@ -96,10 +96,8 @@ When the whole patch series is finished, convert stgit patches to git commits:
Submitting Patches
==================
-Send your patches to the mailing list:
-Email: `mpd-devel <mpd-devel@musicpd.org>`_
-
-:program:`git pull` requests are preferred.
+Submit pull requests on GitHub:
+https://github.com/MusicPlayerDaemon/MPD/pulls
Development Tools
=================