Hey, congrats on the new release! Not sure if this is the right place to shed some light on my issue, but my repo is in the process of being deleted for over a

Hey, congrats on the new release! Not sure if this is the right place to shed some light on my issue, but my repo is in the process of being deleted for over a month now [0] Basically I made some mistakes in that repo and didn't know how to rectify them, so I decided to delete it and then make it again. However the deletion process got stuck it seems. [0] https://gitlab.com/gitlab-com/support-forum/issues/4413 https://gitlab.com/gitlab-com/support-forum/issues/4413