community.mysql/.github
Laurent Indermuehle 2af8e4f273
Fix server_id in GHA
GHA lack a way to pass option to docker's command. Also server_id is
not read as a environment variable. So I'm forced to use a config file.
2023-01-05 11:55:54 +01:00
..
workflows Fix server_id in GHA 2023-01-05 11:55:54 +01:00
patchback.yml Setup patchback bot config file (resolves #310) (#311) 2022-03-17 09:30:29 +01:00