On Thu, Oct 1, 2015 at 9:43 AM, Robert Dailey <rcdailey.li...@gmail.com> wrote: > For convenient pushing of current branch, git supports this syntax: > > $ git push origin HEAD > > This will push your current branch up. However, is there such a > shortcut for *deleting* the branch? The only goal here is to avoid > having to type the branch name in the push command. Normally I rely on > tab completion but we have tons of branches, all which start with some > prefix mixed with numbers, so it becomes cumbersome to rely on tab > completion. Ideally I'd like to be able to do: > > $ git push --delete origin HEAD > $ git push origin :HEAD > > Is there a syntax like this available?
You can do git push origin:<branchname> but I don't believe HEAD is supported. It might be valuable to extend push to have a --delete option which would maybe be useful for those who didn't learn the full refspec syntax. I don't think git push origin :HEAD makes too much sense, since that's on the remote side of a refspec, and you want it interpreted locally... I suppose it makes sense somewhat, but other refspecs with HEAD on the remote side of the refspec don't really make sense, where as HEAD always makes sense on the local side of the refspec. Regards, Jake -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
