# git update-index --assume-unchanged config.py
host = "xx.tecnico.ulisboa.pt"
database = "YYYYY"
username = "XXXXXX"
password = "ZZZZZZ"