docs/manual: document the new get-developers -e option
authorPeter Korsgaard <peter@korsgaard.com>
Tue, 9 Oct 2018 08:28:31 +0000 (10:28 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Tue, 9 Oct 2018 12:48:07 +0000 (14:48 +0200)
commit507d56a6be67b7b4e5c40b55c2e56ffbb4ff0386
treefcce75c7e798a9ae8958f7f9e39b3c05e564395a
parent335b4ee2ce96220bcc3e047b033316c650c7d9d3
docs/manual: document the new get-developers -e option

Explain how this can be used with git send-email, and how git can be
configured to use it automatically.

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
docs/manual/contribute.txt
docs/manual/developers.txt