Update .gitmodules

[jamisonderek]

I'm not sure if it's my environment or something, but when I recursively cloned the repo, I had issues with the submodules using the "[email protected]:" format but the "https://github.com/" format worked fine. It looks like the .gitmodules has a combination of both, so this just standardizes them to use https: (which is the format that works for me).

NOTE: For some unrelated issue the path "documentation/ch32v003/ch32v003fun" doesn't seem to get filled in.

[kantoniak]

@jamisonderek, you can force HTTP auth locally without changing the upstream code using the url.<base>.insteadOf config option:

git -c url.https://github.com/[email protected]: \
  clone --recursive https://github.com/Hack-a-Day/2024-Supercon-8-Add-On-Badge.git

This needs to be configured to persist:

cd 2024-Supercon-8-Add-On-Badge
git config --local url."https://github.com".insteadOf git://github.com:
git submodule foreach --recursive 'git config --local url."https://github.com/".insteadOf [email protected]:'
# `git submodule update --recursive --remote` and similar commands will use HTTP auth