• You should really do the GitHub PR as @allObjects says -so git clone you OWN fork, not espruino/EspruinoDocs and then work on that and issue a PR on the main Espruino repo from your personal fork.

    @MaBe ideally you wouldn't actually do it the way you suggested - because all the work in progress forks end up public and on the main Espruino repo.

About

Avatar for Gordon @Gordon started