Add missing margin to repositories sort/filter row#1712

koesie10 merged 1 commit intomaingithub/vscode-codeql:mainfrom

koesie10/filter-sort-fixesgithub/vscode-codeql:koesie10/filter-sort-fixesCopy head branch name to clipboard