Watch this video on YouTube
How can you open an existing pull request in github.dev for further editing?