> is your preferred workflow still patches to the mailing list? I now know how to generate a patch from a github pull request (ghi --patch), so either is fine. -- Juliusz