} else {
  settings.repo = 'https://github.com/' + config.github.user + '/' + config.github.repo + '.git';
}