Use a sequence for github_url to avoid occasional test errors