Removing a Git submodule

To remove a Git submodule go through these annoying steps:

Terminal window
git submodule deinit -f path/to/module
rm -rf .git/modules/path/to/module
git config -f .gitmodules --remove-section submodule.path/to/module
git add .gitmodules
git rm --cached path/to/module