Merge pull request #10126 from Jedrzej1940518/remove_note

Remove unnecessary note from doc page

Author: skyace65

contributing/workflow/pr_workflow.rst

@@ -97,9 +97,6 @@ To clone your fork from GitHub, use the following command:
 
     git clone https://github.com/USERNAME/godot
 
-.. note:: In our examples, the "$" character denotes the command line prompt
-          on typical UNIX shells. It is not part of the command and should
-          not be typed.
 
 After a little while, you should have a ``godot`` directory in your current
 working directory. Move into it using the ``cd`` command: