https://kotlinlang.org logo
#random
Title
t

thatadamedwards

11/15/2017, 5:48 PM
alternatively,
git branch -d -r origin/<remote branch name>
to do it from any branch you may be on (this way you can specify the branch's name)