Remove duplicates and add GitHub action to lint collection-index.yml#616

AlvaroRausell merged 6 commits into

gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

arausell/fix-duplicatesdevcontainers/devcontainers.github.io:arausell/fix-duplicatesCopy head branch name to clipboard