Félix Piédallu 2d23798283 Simplify github workflow: peter-evans/create-pull-request@v6 already checks if diff exists		2024-06-02 20:39:00 +02:00
..
workflows	Simplify github workflow: peter-evans/create-pull-request@v6 already checks if diff exists	2024-06-02 20:39:00 +02:00
FUNDING.yml	Create FUNDING.yml	2019-10-16 16:40:26 +02:00
PULL_REQUEST_TEMPLATE.md	We don't really use / need these super bureaucratic validation checkboxes	2020-06-04 18:53:21 +02:00