How to rename git branch used in pull request Github

Question

I made and merged a PR and want to rename the branch I made the PR off of. How can I do this? Let me know if you have questions.

Answer 1

Editing post to give a reference on how to change the branch name inside an already merged PR. I practically tried this on my side, pushed to GitHub, changed the branch name in the PR that is merged, I can clearly see the change reflecting.

Please follow the below steps:

(base) Apples-MacBook-Pro:CrashCall pratapalokraj$ git branch
* Test
  main
(base) Apples-MacBook-Pro:CrashCall pratapalokraj$ git push origin Test
Total 0 (delta 0), reused 0 (delta 0)
remote:
remote: Create a pull request for 'Test' on GitHub by visiting:
remote:      https://github.com/Blank000/CrashCall/pull/new/Test
remote:
To github.com:Blank000/CrashCall.git
 * [new branch]      Test -> Test 

After pushing changes in a new branch ( Test ), now I raised a PR with Test branch and merged into main as below and then changed the branch name from Test to Renamed_Test:

Click on view all branches from the below screenshot

Click on the right most edit button you see down below:

For reference you can also visit this page:

Rename Branch