Can we still merge a Github Pull Request if the creator's account is deleted

We have pending pull requests from a former colleague, and are wandering if we need to merge these PRs in case he deletes his Github account.

Is there someone who tried? I did not find an answer in the Github documentation.