67dc35
bin/get_formulas.py: remove the code that adds the gitlab remote it is hardcoded fully, it will be implemented differently