From cb6282e0a7360c21ecc7b7a86a5eb04d0703a143 Mon Sep 17 00:00:00 2001
From: Max Kellermann <max@musicpd.org>
Date: Wed, 10 Apr 2019 11:36:03 +0200
Subject: [PATCH] doc/developer.rst: remove mailing list, refer to GitHub
 instead

---
 doc/developer.rst | 6 ++----
 1 file 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
 =================