Benoit Marty 8833bd09d6 Extract git flow init from release script (so that it can be run standalone) and do not use -t which does not seem to be standard.		2023-07-20 19:15:56 +02:00
..
download_github_artifacts.py	Add release script	2023-07-20 13:27:47 +02:00
release.sh	Extract git flow init from release script (so that it can be run standalone) and do not use -t which does not seem to be standard.	2023-07-20 19:15:56 +02:00