Deprecate repo.Version in favor of GlobalSettings.Version

Fix #726