Re: namespace convention for short-lived branches

[Oleh Krehel]

Achim Gratz <address@hidden> writes:

> Oleh Krehel writes:
>> Renamed "fix-info-dups" to "scratch/fix-info-dups".
>
> I think you've created a new branch scratch/fix-info-dups, but left the
> abandoned fix-info-dups in place.  To delete a branch in upstream you
> need to push "nothing" onto the old branch, maybe like this:
>
> git push origin :fix-info-dups

I'm pretty sure I've deleted it with magit. I doesn't show up on my
system any more. Did you "git pull" on your end?

Oleh