Use HTTPS for public submodules

[derekste]

Summary

Replace the four nested GitHub SSH submodule URLs with public HTTPS URLs.

This lets public downstream repositories use git clone --recurse-submodules without a GitHub account, SSH key, or credential helper. The submodule gitlinks are unchanged.

Validation

• all four URLs resolve to the same public GitHub repositories
• no git@github.com URL remains in .gitmodules
• redis-pvxs-ioc will pin this commit and repeat a recursive clone with Git configuration, credential helpers, prompting, and SSH disabled

[Copilot]

Pull request overview

This PR updates the repository’s Git submodule configuration to use public HTTPS URLs instead of GitHub SSH URLs, enabling unauthenticated recursive clones in downstream/public environments.

Changes:

• Replaced git@github.com:... SSH submodule URLs with https://github.com/... URLs for all configured submodules.
• Verified no git@github.com URLs remain in .gitmodules.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.

[wsulli]

I assume you tested this?

• If not please do a fresh pull and make sure this works.