Skip to content

Instantly share code, notes, and snippets.

View tahsinkose's full-sized avatar
🖇️
ROS Advocate, RL researcher

Tahsincan Köse tahsinkose

🖇️
ROS Advocate, RL researcher
View GitHub Profile
@cmatskas
cmatskas / GitDeleteCommands.ps1
Last active September 22, 2022 07:59
Git Delete Branch commands
## Delete a remote branch
$ git push origin --delete <branch> # Git version 1.7.0 or newer
$ git push origin :<branch> # Git versions older than 1.7.0
## Delete a local branch
$ git branch --delete <branch>
$ git branch -d <branch> # Shorter version
$ git branch -D <branch> # Force delete un-merged branches
## Delete a local remote-tracking branch