I tried to find a description for the following gitlab entry in my repo (in files-view):
It is a git submodule, and you can type:
git ls-tree HEAD -- ws-dom-full
You will see a gitlink, that is a special entry in the index which records the sha1 of the submodule repo. (Mode 160000)
When you clone the parent repo, that folder is empty.
You need:
git submodule update --init
And you will see the submodule content then.
To remove a submodule (from the index and the disk):
git submodule deinit -- ws-dom-full
git rm -- ws-dom-full
git add -u .
git commit -m "Remove ws-dom-full submodule"
git push