What to do after my branch was merged?

[firubat]

First of all thanks for the tutorial, it is really helpful and exactly what I was looking for!

My question (+improvement suggetion) is: What do I do with my branch, in my fork, after it has been merged? Do I also merge it with the main branch on my end? If so - how? Do I somehow close the branch aftetward? If so - how?

[aryanvaghasiya]

Once your PR is merged, you don’t need that branch anymore in your fork. You can safely delete it — either via the GitHub UI (there’s usually a button on the PR) or using:

git push origin --delete your-branch-name in terminal.

You don’t need to merge it into your fork’s main. Instead, keep your fork’s main up to date with the original repo by syncing it regularly.

[firubat]

Thanks. So to summarize possible steps are:

• In GitHub, sync main branch via the "Sync" button
• Locally, switch to main and do git pull
• Then git push origin --delete your-branch-name

Is there some redundancy? Would you do something different?

[aryanvaghasiya]

Yep, that’s pretty much it!

There is a bit of overlap between syncing on GitHub and doing git pull locally — you only need one, depending on where you're working. If you’re mainly working locally, just git pull from the original repo (upstream), then git push to your fork if needed.

Deleting the branch afterward is a good cleanup step, and you're doing it right 👍