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.
