The current GitLab convention for the name of the main development branch is main. Adapt the script extract_as_new_module.py correspondingly.
main
extract_as_new_module.py
Fixes #1175 (closed).