I'm working on a fork from an upstream repo. Locally I'm on branch foo
. I pushed foo
up to my repo on GitHub and opened a PR into upstream/master
and had it merged.
After merging I deleted the the foo
branch on GitHub and also locally:
git branch -d foo
But if I view my log with:
git log --graph --pretty=oneline --abbrev-commit --decorate --all
Then I still see origin/foo
.
I read in another answer to use:
git remote prune origin
Which successfully removed the origin/foo
.
- Is this the correct GitHub workflow when deleting a feature branch?
process:
delete branch on GitHub -> delete branch locally -> prune the origin