The official documentation covers how to add a submodule, either from the odoo.sh platform itself or by using git : \https://www.odoo.com/documentation/13.0/administration/odoo_sh/advanced/submodules.html#adding-a-submodule

However, there is not (yet) documentation on how to remove a submodule. My questions are:

1. How to correctly remove a submodule from odoo.sh ? I've tried and commited the following changes:

git rm -r the_submodule
rm -rf .git/modules/the_submodule  

2. Will the platform detect that you removed modules through submodules in your branches and automatically remove them from the addons path ? If not, what is the procedure to follow ?