wafrat
  • Home
Subscribe

github

A collection of 1 post
github

Adding the `Update branch` to GitHub PRs

In my repositories, my PRs didn't have the Update branch button. This feature is nice when someone proposes a PR that breaks because of a separate issue. So I can fix that issue separately in a PR, merge it. Finally in the other person's PR, I can click Update branch,
Jul 30, 2025 — 1 min read
wafrat © 2025