git push origin --delete branch_name
What I use this for: some of my repositories have enough branches on them, but I don't want to delete them locally.
#git
Formerly at scuti@teknik.io.
My software projects are now hosted on NotABug/scuti by Peers Community. The programming languages I generally use are C, C++, Python, Lua, and Ada.
Je joue le jeu Minetest avec mes amis français.
mi cu ciska lo tu'itsku bau lo jbobau.i je te lerfanva la .kirilits. (шои!)
2 notes#chemistry(1) #git(2) #programming(9) #california(1) #lojban(12) #blogroll(9) #francais(5) #scihub(1) #layerone(2) #gardening(3) #minetest(5) #bookmark(8) #surf(5) #leetcode(2) #music(1)
[no pages]