User Tools

Site Tools


git

This is an old revision of the document!


Git Cheat Sheet

Branches

Delete a local branch

$ git branch -D <branchName>
Deleted branch <branchName> (was ....).

Delete a remote branch

$ git push origin --delete <branchName>
To git@github.com:<repository>.git
 - [deleted]         <branchName>
git.1442924975.txt.gz · Last modified: 2023/08/18 18:15 (external edit)