Hi,
I have run into an issue that is preventing me from pushing commits to my GitHub repo. I believe the problem can be tracked down to this change:
https://github.com/git/git/commit/a2b26ffb1a81aa23dd14453f4db05d8fe24ee7cc
This change introduced stricter validation and checking of the .gitmodules file.
The problem is that I had an invalid URL in my .gitmodules file (an extra "/" in "http://“):
```
[submodule "packages/website/assets/tecendil-js"]
path = packages/website/assets/tecendil-js
url = https:///github.com/arnog/tecendil-js.git
branch = master
```However, I cannot commit a fix to this, as it gets rejected because the current .gitmodules is invalid. As a result I can no longer push commits to my repo.
Any suggestion on how to work around this?
(PS: I have attempted to contact GitHub about this, but haven’t heard back)
Best, Arno.