Switched to GitHub’s HTTPS URL