tree 387249365895631339c13d4a6dc8929ff7b7bb54
parent 8d366dbf562a959a3dca3ee6972d5a67f67aa885
author Thomas Devoogdt <thomas@devoogdt.com> 1713981239 +0200
committer Yann E. MORIN <yann.morin.1998@free.fr> 1713988223 +0200

.github: add a pull request warning that explains the mailing list workflow

Signed-off-by: Thomas Devoogdt <thomas@devoogdt.com>
Reviewed-by: J. Neuschäfer <j.neuschaefer@gmx.net>
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>