no edit to the config.ini file but git complains that it's not the same file as the one in github.