From 0f3561fccfbc29c7b435381d4c12b960a9c9cd26 Mon Sep 17 00:00:00 2001
From: Steve Goodman <steve@starkware.co>
Date: Thu, 14 Mar 2024 16:45:43 +0200
Subject: [PATCH] Revert PRs #1097, #1152.

---
 .github/workflows/pull_request.yml | 19 +++++--------------
 1 file changed, 5 insertions(+), 14 deletions(-)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index 600dc85026..2bb91d7efb 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -1,18 +1,9 @@
 name: Pull request workflow
 
 on:
-  pull_request_target:
-    types:
-      - opened
-      - reopened
-      - synchronize
+  pull_request:
     branches:
-      - 'main'
-      - 'dev'
-
-permissions:
-  contents: write
-  pull-requests: write
+      - '*'
 
 jobs:
 
@@ -29,7 +20,7 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v2
         with:
-          ref: refs/pull/${{ github.event.pull_request.number }}/merge
+          node-version: 16
 
       - name: Install Node.js
         uses: actions/setup-node@v2
@@ -58,8 +49,9 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v2
         with:
+          node-version: 16
           ref: gh-pages
-          token: ${{ secrets.GITHUB_TOKEN }}
+          USER_TOKEN: ${{ secrets.USER_TOKEN }}
 
       - name: Extract PR details
         id: pr
@@ -94,7 +86,6 @@ jobs:
           git status
           git config user.name "GitHub Actions"
           git config user.email noreply@github.com
-          
           git add .