Hi John,
I have run this and deleted the stray branch. Thank you for your assistance.
Cheers!
Frank
> On Dec 30, 2016, at 2:19 PM, John Patrick wrote:
>
> I think the command your after is.
>
> $ git push origin :seqan_update ;
>
> read it as
> git push origin NULL:seqan_update
>
> This
I think the command your after is.
$ git push origin :seqan_update ;
read it as
git push origin NULL:seqan_update
This works for tags as well as branches, assuming the name is unique.
It won't delete the local branch.
For everyone else if they do the following, it will clean up remote
referenc
Hi All,
I accidentally pushed my local branch for these changes before merging it. So
apparently there is now a branch called seqan_update that is on master. How do
I delete it?
Anyone can also please just delete it for me if you know how. The changes have
been applied to master successfully.
