This repository was archived by the owner on Nov 18, 2021. It is now read-only.
This repository was archived by the owner on Nov 18, 2021. It is now read-only.
GitHub should warn when you try to delete a fork from your workspace which still has open pull requests #1851
Related: #168