Disable re-running CI tests on unmerged pull-requests

This is not helpful with our current workflow and with PRs mostly coming from Dependabot.

Change-Id: Ief9e7e24320d5ea63ef9a1b2cd4e710e13ea64c3
diff --git a/.github/workflows/re-run-pull-request-github-actions.yml b/.github/workflows/re-run-pull-request-github-actions.yml
deleted file mode 100644
index 4a2fddf..0000000
--- a/.github/workflows/re-run-pull-request-github-actions.yml
+++ /dev/null
@@ -1,65 +0,0 @@
-name: Re-run CI tests on open PRs
-
-on:
-  push:
-    branches:
-      - master
-
-jobs:
-  re-run-github-actions:
-    runs-on: ubuntu-latest
-    steps:
-      - name: (GET-&-PUT Github API) Push empty commit to PR branch
-        uses: actions/github-script@0.2.0
-        with:
-          github-token: ${{secrets.PAT}}
-          script: |
-            const owner = context.repo.owner;
-            const repo = context.repo.repo;
-            const {data: pullRequests} = await github.pulls.list({
-              owner,
-              repo,
-              base: "master",
-              state: "open",
-            });
-        
-            for (pr of pullRequests) {
-              try {
-                let pullReq = {};
-                while (pullReq.mergeable === undefined || pullReq.mergeable === null) {
-                  pullReq = (
-                    await github.pulls.get({
-                      owner,
-                      repo,
-                      pull_number: pr.number,
-                    })
-                  ).data;
-                }
-                if(pullReq.mergeable === false) continue;
-
-                const {data: commitData} = await github.repos.getCommit({
-                  owner,
-                  repo,
-                  ref: pullReq.head.sha,
-                });
-
-                const {data: createdCommit} = await github.git.createCommit({
-                  owner,
-                  repo,
-                  message: "trigger github actions",
-                  tree: commitData.commit.tree.sha,
-                  parents: [commitData.sha],
-                  commiter: context.payload.pusher,
-                  author: context.payload.pusher,
-                });
-
-                await github.git.updateRef({
-                  owner,
-                  repo,
-                  ref: `heads/${pr.head.ref}`,
-                  sha: createdCommit.sha,
-                });
-              } catch (err) {
-                console.log(err);
-              }
-            }