Correct to gulfmex as default config in Repo