I forked another person's repository, made some of my own commits, and then sent a pull request back to the user. The user has not been active lately, and I do not see myself contributing any more to the project.
I would still like to see my pull request accepted and merged in one day, but I do not want to keep my version of the repository sitting around anymore.
Is it ok to delete the repository before my pull request gets looked at by the user?
If I do delete my forked repository now, will my pull request still be applicable?
Is deleting forked repositories before the pull requests gets analysed, an ok practice?