A GitHub repository URL.