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.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
You should really do the GitHub PR as @allObjects says -so
git clone
you OWN fork, notespruino/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.