search

xp1632 / DFKI_working_log

0 stars 0 forks source link

How to delete the copy of remote branch in local when it's not used #13

Open xp1632 opened 11 months ago

xp1632 commented 11 months ago

git remote prune origin

xp1632 commented 11 months ago

// delete branch locally git branch -d localBranchName

// delete branch remotely git push origin --delete remoteBranchName