Soft delete prevents fresh fork as name taken
Summary
I wanted to pick up where I'd left off a year ago on #15959 but was getting merge conflicts pulling the upstream master branch.
> git remote -v
origin https://gitlab.haskell.org/philderbeast/ghc.git (fetch)
origin https://gitlab.haskell.org/philderbeast/ghc.git (push)
upstream https://gitlab.haskell.org/ghc/ghc (fetch)
upstream https://gitlab.haskell.org/ghc/ghc (push)
I had only added a test case so thought it might be easier to delete my fork and start over but there's a gotcha with gitlab, delete is soft. Prior to deleting my fork, I'd tried renaming it. In both cases forking fails.
Fork Error!
You tried to fork Glasgow Haskell Compiler / GHC but it failed for the following reason:
– Name has already been taken
I've left my fork deletion pending.
Deletion pending. This project will be removed on 2020-06-27.
Repository and other project resources are read-only.
Proposed improvements or changes
If possible please set the soft delete period to zero wait otherwise warn about this, perhaps on the contributing a patch wiki page.
https://gitlab.com/gitlab-org/gitlab/-/issues/191367
https://gitlab.haskell.org/ghc/ghc/-/wikis/Contributing-a-Patch