Clean up list of tracked repos

[dontcallmedom]

Today, there is no limitation on what repos can be added to the repo manager (as long as the person creating/importing it has sufficient privileges on the target repo).

As a result, a bunch of repos have been imported in the system that are clearly not relevant. The full list of owners of currently listed repos is:
adligithub,aliams,alshamiri2,ARTUR16,ashimura,bigboy532,BinRoot,design-tokens,divijish,dontcallmedom,fedidcg,floresbakker,frattini,gpuweb,hayabusa,hserv,HydraCG,immersive-web,jonathanKingston,json-ld,KissMyPixel,kiwijack2,Lan-CesS,LinuXuser534,MAYAKARYA,omigroup,openui,pavelkorablev6,privacycg,rektide,ResponsiveImagesCG,shexSpec,simoneonofri,snf,w3c-cg,w3c-fedid,w3c-test,w3c,web-payments,WebAssembly,WebAudio,WebBluetoothCG,webmachinelearning,WICG,wintercg
(from [...new Set([...$0.querySelectorAll("tr td:first-child")].map(n => n.textContent.split("/")[0]))].join(",") running on the table element of the list of repos.

Among them, repos associated with the following owners should be safely removable from the database: adligithub,aliams,alshamiri2,ARTUR16,ashimura,bigboy532,BinRoot,divijish,dontcallmedom,floresbakker,frattini,hayabusa,jonathanKingston,KissMyPixel,kiwijack2,Lan-CesS,LinuXuser534,MAYAKARYA,pavelkorablev6,rektide,simoneonofri,snf

Moving forward, there should probably be some flitering/validation of owners to which the repo manager can be applied to avoid spurious entries.