minor change to force PR

Author: gvrose8192

.github/workflows/process-pull-request.yml

@@ -34,6 +34,7 @@ jobs:
         fi
         #        git remote add linux https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
         #        git fetch --shallow-since="3 years ago" linux
+        echo "Skipping fetch of linux"
         echo "Will run process-git-request.py with:"
         echo "fname = ${{ github.run_id }}"
         echo "target_branch = ${{ github.base_ref }}"