On Sep 14, 2020, at 10:11 AM, Boris Epstein <borepstein@gmail.com> wrote:

Hello Craig,

Thanks. So basically you just work on the main Git repo, not on a clone - and you do the pull directly, not submit a pull request?


Hi Boris,

No, not at all.  Work on your clone, and submit a PR as normal.  The PR template should walk you through the rest.