Since you’re using GitHub’s tools and just changing one file, you could also browse to the file on GitHub, select the proper branch from the upper left corner under the “tree:” dropdown (patch-3 in your case), and now choose “Edit this file”. Now your changes will be committed to this branch and will show up in your pull request