Re: [Nmh-workers] branch cleanup

[Ken Hornstein]

>Done.  The syntax is odd so I'll record it here:
>
>  git push origin :posix_conversion
>
>I also deleted the fileproc_mhlproc_to_post branch, it was merged a
>while back.

One additional nit: if you want to delete those branches on your local clone
of the git tree you need to do

        git pull --prune

(I didn't know about that until today).

--Ken