During migration from TRAC, an instance of "dogtagpki" was set up on the playground "https://stg.pagure.io".

Since we have now successfully migrated everything and been using the officlal "https://pagure.io/dogtagpki", we would like to have the playground "https://stg.pagure.io" deleted to avoid confusion (it sometimes can accidently get selected as the browser URL".

As I am listed as the creator/administrator of the page, I logged in, went to settings, and attempted to delete the project (https://stg.pagure.io/dogtagpki/delete). After providing confirmation, it spun for a long time as if it was working before I finally received a "The connection has timed out" message in my browser.

While it does look as though it may have removed the data, similar to https://pagure.io/pagure/issue/2149, the entry "dogtagpki" still shows up on my "https://stg.pagure.io/" display.

Can this entry be deleted permanently?

IMPORTANT: This is for "https://stg.pagure.io/" URL only; the official one is working fine and in use.