Soft delete prevents fresh fork as name taken
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.