remove redundant entries from .gitmodules