From 904f83cd851418a373a8acd99ce158b54212b74a Mon Sep 17 00:00:00 2001 From: Max Kellermann Date: Mon, 9 Jan 2017 17:19:15 +0100 Subject: [PATCH] doc/developer: add GitHub reference --- doc/developer.xml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/doc/developer.xml b/doc/developer.xml index 054228657..d0a3f301a 100644 --- a/doc/developer.xml +++ b/doc/developer.xml @@ -193,6 +193,13 @@ Foo(const char *abc, int xyz) url="http://git.musicpd.org/account-policy.html">an account on git.musicpd.org, but any public git repository will do. + + + There is a + mirror of the MPD git repository on + GitHub, and you can use that as well to submit pull + requests. +