Updated workspace settings to reflect repository origin on GitHub.