Closed cforgaci closed 1 year ago
Good idea!
@alwil, after merging and deleting a branch on GitHub, how do I delete the branch locally? Do I delete the branch manually or can that be done automatically while pulling changes?
Hi @cforgaci,
here's how you can delete a branch from git
(read more here):
git branch -d localBranchName
git push origin --delete remoteBranchName
You can set up branches to be removed automatically after the pull request, but I haven't used this setting yet.
- delete branch locally :
git branch -d localBranchName
I did this and deleted the branch on GitHub after the PR. Thank you!
I created a file where I will keep track of journals where the paper could be published. Also practising pull requests 🙂