Deleting remote branch #152

jlec opened this Issue Nov 29, 2012 · 1 comment


None yet

2 participants

jlec commented Nov 29, 2012

Implementation of
git push --delete BRANCH REMOTE


I agree.

@davvid davvid added a commit that closed this issue Apr 28, 2013
@davvid davvid cola: add a simple GUI for deleting remote branches
Closes #152

Signed-off-by: David Aguilar <>
@davvid davvid closed this in 8936c0a Apr 28, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment