Fixing confused git stuff

Some HEAD/master garbage was in the config file.