Hi,
I recently deleted my copr repository that i have been using to test some packages.
However the dist-git repositories that got created in the process still seem to be available at https://copr-dist-git.fedorainfracloud.org/cgit.
What is the process to have them deleted as well?
Thanks