remove obsolete GitHubURL function