Programming

Quick Git Commands
Remove merged branches 
 git branch --merged origin/main | rg -v "main" | xargs git branch -d 
 Make sure to test the first command before running the whole line, you don't want to accidentally delete your main branch 
 Prune local branches that are deleted on the remote 
 git fetch --prune 
 Properly delete a remote branch 
 git push origin delete <remote name> <branch> 
 Source: https://www.freecodecamp.org/news/git-delete-remote-branch/