I would still keep this as 'core/**' because we want the .git directory to get synced as well, this way we don't have to keep the submodule up-to-date manually.