adding docs delete action

Author: gilesknap

.github/workflows/docs.yml

@@ -6,6 +6,7 @@ on:
 
 jobs:
   docs:
+    if: github.event_name != 'pull_request' || github.event.pull_request.repository == github.repository
     strategy:
       fail-fast: false
       matrix:

.github/workflows/docs_clean.yml

@@ -7,7 +7,7 @@ on:
   workflow_dispatch:
     inputs:
       version:
-        description: "documentation version"
+        description: "documentation version to DELETE"
         required: true
         type: string
 
@@ -20,12 +20,22 @@ jobs:
       - name: checkout
         uses: actions/checkout@v2
         with:
-          branch: gh-pages
+          ref: gh-pages
 
       - name: removing documentation for branch ${{ github.event.ref }}
         if: ${{ github.event_name != 'workflow_dispatch' }}
-        run: echo rm -r .github/pages/${{ github.event.ref }}
+        run: echo "remove_me=${{ github.event.ref }}" >> $GITHUB_ENV
 
       - name: manually removing documentation version ${{ github.event.inputs.version }}
         if: ${{ github.event_name == 'workflow_dispatch' }}
-        run: echo rm -r .github/pages/${{ github.event.inputs.version }}
+        run: echo "remove_me=${{ github.event.inputs.version }}" >> $GITHUB_ENV
+
+      - name: update index and push changes
+        run: |
+          echo removing redundant documentation version ${{ env.remove_me }}
+          rm -r ${{ env.remove_me }}
+          sed -i /${{ env.remove_me }}/d versions.txt
+          git config --global user.name 'GitHub Actions Docs Cleanup CI'
+          git config --global user.email '[email protected]'
+          git commit -am"removing redundant docs version ${{ env.remove_me }}" 
+          git push