> PS. If someone knows how to make github delete a branch, please let me > know, as this would allow me to use the "rcu/next" nomenclature. > Yes, it is probably obvious, but I am new to github...
git push origin :branch should work everywhere, right?