chore: Update workflow to also accept manual trigger

.github/workflows/pull-docs.yml

@@ -4,7 +4,19 @@ on:
   push:
     branches:
       - develop
-
+  workflow_dispatch:
+    # Inputs the workflow accepts.
+    inputs:
+      name:
+        # Friendly description to be shown in the UI instead of 'name'
+        description: 'Person to greet'
+        # Default value if no value is explicitly provided
+        default: 'World'
+        # Input has to be provided for the workflow to run
+        required: true
+        # The data type of the input
+        type: string
+
 jobs:
   pull-readme:
     runs-on: ubuntu-latest