Removed unnecessary note, as this page got rid of "$" signs in below commit:

Jedrzej1940518 · Jedrzej1940518 · commit ca96e4545322 · 2024-10-21T14:32:43.000+02:00
#9956
diff --git a/contributing/workflow/pr_workflow.rst b/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:
