diff --git a/doc/developers/contributing.rst b/doc/developers/contributing.rst index 863ecfb7741b3..8d12187ade00b 100644 --- a/doc/developers/contributing.rst +++ b/doc/developers/contributing.rst @@ -251,7 +251,7 @@ modifying code and submitting a PR: to record your changes in Git, then push the changes to your GitHub account with:: - $ git push -u origin my-feature + $ git push -u origin my_feature 10. Follow `these `_