Use the current GitLab naming convention for the main branch
- Sep 05, 2022
-
-
7c8ce076
-
2d13b6a9
-
6dca587a
-
The current GitLab convention for the name of the main development branch is main
. Adapt the script extract_as_new_module.py
correspondingly.
Fixes #1175 (closed).