[Maria-developers] security spring cleaning in MariaDB org on github