John Livingston 0eb7e75421 New dev workflow: ... Contribution now have to be made on the main branch. A new `documentation` branch is created. Github and Gitlab pipelines are now working on this branch. Develop branch is deprecated, as it is no more necessary.		2023-03-07 14:14:19 +01:00
..
ISSUE_TEMPLATE	…
workflows	New dev workflow:	2023-03-07 14:14:19 +01:00