Félix Piédallu 33af9b876f Simplify github workflow: peter-evans/create-pull-request@v6 already checks if diff exists		2024-06-02 21:04:57 +02:00
..
workflows	Simplify github workflow: peter-evans/create-pull-request@v6 already checks if diff exists	2024-06-02 21:04:57 +02:00
diff_pot_files.py	ci(auto_messages_pot): github actions seems to expect a string on stdout	2024-03-25 02:32:20 +01:00