doc: add optional step to onboarding doc
Checklist
-
documentation is changed or added -
commit message follows commit guidelines
Affected core subsystem(s)
doc
Description of change
Include information on how to force push to the contributor's own branch so that pull requests show as merged in GitHub interface.