Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Docs: Updating the Git Workflow docs to explain how to update an exte…
…rnal contributors PR (#37853) * Updating the Git Workflow docs to explain how to update an external contributors PR * Modifying the suggested steps to use the GH CLI * Typo fix * Add missing dash in git push --force * Update docs/git-workflow.md Co-authored-by: Jeremy Herve <[email protected]> --------- Co-authored-by: Jeremy Herve <[email protected]>
- Loading branch information