<4b572f52-3f27-3153-e869-f421f8a4bbdd@smoha.org>Hi, Is there a way to delete a branch of a repo that we don't want to exist on the server? Thanks, Salman
<e361e504-8c9b-c30b-f4b9-76b4ecf2ea1d@testrun.org>
<4b572f52-3f27-3153-e869-f421f8a4bbdd@smoha.org>
(view parent)
> Is there a way to delete a branch of a repo that we don't want to exist > on the server? git push origin :branch
<CCCWDOTLM2TB.QS6B7H6N8GGS@taiga>
<4b572f52-3f27-3153-e869-f421f8a4bbdd@smoha.org>
(view parent)
git push origin :branchname
<CCCWGY16PYTL.1AKL2NWKJAPR@archlinux-white>
<e361e504-8c9b-c30b-f4b9-76b4ecf2ea1d@testrun.org>
(view parent)
On Fri Jun 25, 2021 at 2:09 PM EDT, link2xt wrote: > > Is there a way to delete a branch of a repo that we don't want to exist > > on the server? > > git push origin :branch Alternatively, `git push --delete origin branch`. --- Sebastian LaVine | https://smlavine.com
<7d2172a0-56ed-4f8a-57e7-99fb53d7f24c@smoha.org>
<CCCWDOTLM2TB.QS6B7H6N8GGS@taiga>
(view parent)
thanks for the immediate answer.