Re: [Nmh-workers] Bug in 1.7 mh-format numeric output

[Ralph Corderoy]

Hi Ken,

> > A slight whoopsy in trying to `git push origin a034d7e5...:master'.
> > I tried a --dry-run with `master:a034d7e5...' and it didn't complain
> > so did it for real.  Unfortunately, it appears to have created a new
> > branch called, yep, `a034d7e5...'.

I should have done, and later did, `a034d7e5:master';  the other way
around.

> I believe it is relatively simple to delete a remote branch once it
> has been merged (it's one of those things I'll need to look up, but I
> recall doing it before).  Do you want me to do that, or would you
> rather fix it?

I'm happy to have a go.  Will wait a bit and do some research.
Hopefully it won't compound the error.  :-)

-- 
Cheers, Ralph.
https://plus.google.com/+RalphCorderoy