From 7ef2d2fea25a52d47aafd9da66ac4e52e27374fb Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 8 Aug 2024 11:17:52 +0200
Subject: [PATCH] chore: CI: remove rebase command

We'll try using the buttons provided by GitHub for now
---
 .github/workflows/rebase-on-comment.yml | 30 -------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 .github/workflows/rebase-on-comment.yml

diff --git a/.github/workflows/rebase-on-comment.yml b/.github/workflows/rebase-on-comment.yml
deleted file mode 100644
index f4f94c7809..0000000000
--- a/.github/workflows/rebase-on-comment.yml
+++ /dev/null
@@ -1,30 +0,0 @@
-# As the PR author, use `!rebase` to rebase a commit
-name: Rebase on Comment
-
-on:
-  issue_comment:
-    types: [created]
-
-jobs:
-  rebase:
-    if: github.event.issue.pull_request != '' && github.event.comment.body == '!rebase' && github.event.comment.user.login == github.event.issue.user.login
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-        with:
-          ref: refs/pull/${{ github.event.issue.number }}/head
-      - name: Rebase PR branch onto base branch
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: |
-          PR_NUMBER="${{ github.event.issue.number }}"
-          API_URL="https://api.github.com/repos/${{ github.repository }}/pulls/$PR_NUMBER"
-          PR_DETAILS="$(curl -s -H "Authorization: token $GITHUB_TOKEN" $API_URL)"
-          
-          BASE_REF="$(echo $PR_DETAILS | jq -r .base.ref)"
-
-          git checkout -b working-branch
-          git fetch origin $BASE_REF
-          git rebase origin/$BASE_REF
-          git push origin refs/pull/${{ github.event.issue.number }}/head --force-with-lease
\ No newline at end of file