Adapt python make_install script to main-branch name
When running the make_installscript.py
script, I get an error in pub-moduls where the main branch is called main. This comes from the script util/common.py
where we check for the persistent branch and we only ask for the name master (line 274). I think this needs to be adapted to also include a check for the name "main". I did not check if this also affects any other scripts, but that could be since I guess the common.py script is used in several places?