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?Boris.