This is a placeholder for things I do in git which I have to look up often. Remove a branch from git git push origin –delete branch_name git branch -d branch_name If there are unmerged changes which you are confident of deleting: git branch -D branch_name References article how to remove git branches.
-
Short term
Buckets
- Analytics (8)
- Bugs (4)
- Business (13)
- Development (5)
- DNS (2)
- Education (1)
- Email (5)
- HTML (2)
- JavaScript (1)
- Marketing (14)
- Personal (2)
- PHP (2)
- Politics (2)
- Privacy (15)
- Real Estate (1)
- Security (6)
- System Administration (3)
- Technical (22)
- The Sky Is Falling (15)
- Travel (1)
- Uncategorized (3)
Boring stuff