>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
_______________________________________________
Nmh-workers mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/nmh-workers
