commit | 32753c6f9d7c61e1c5b79925b00ad03fa76b5b22 | [log] [tgz] |
---|---|---|
author | Thomas Devoogdt <thomas@devoogdt.com> | Wed Apr 24 19:53:59 2024 +0200 |
committer | Yann E. MORIN <yann.morin.1998@free.fr> | Wed Apr 24 21:50:23 2024 +0200 |
tree | 387249365895631339c13d4a6dc8929ff7b7bb54 | |
parent | 8d366dbf562a959a3dca3ee6972d5a67f67aa885 [diff] |
.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>