From 9a51584347a069f5dcf506d0deb038c0eb8b7a33 Mon Sep 17 00:00:00 2001
From: Varun Gandhi <varun.gandhi@sourcegraph.com>
Date: Wed, 16 Oct 2024 17:14:38 +0800
Subject: [PATCH] chore: Remove project board workflow

We no longer use GitHub project boards so this isn't needed
---
 .github/workflows/project-board.yml | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 .github/workflows/project-board.yml

diff --git a/.github/workflows/project-board.yml b/.github/workflows/project-board.yml
deleted file mode 100644
index 19fb110e..00000000
--- a/.github/workflows/project-board.yml
+++ /dev/null
@@ -1,26 +0,0 @@
-# Copied from https://github.com/sourcegraph/scip-typescript/blob/main/.github/workflows/project-board.yml
-name: Project Board
-on:
-  issues:
-    types:
-      - opened
-jobs:
-  # Uses issues beta API - see https://docs.github.com/en/issues/trying-out-the-new-projects-experience/automating-projects#example-workflow
-  code-intel-board:
-    runs-on: ubuntu-latest
-    env:
-      PROJECT_ID: MDExOlByb2plY3ROZXh0NDI1MA== # https://github.com/orgs/sourcegraph/projects/211
-      GITHUB_TOKEN: ${{ secrets.GH_PROJECTS_ACTION_TOKEN }}
-    steps:
-      - name: Add to board
-        env:
-          NODE_ID: ${{ github.event.issue.node_id }}
-        run: |
-          gh api graphql --header 'GraphQL-Features: projects_next_graphql' -f query='
-            mutation($project:ID!, $node_id:ID!) {
-              addProjectNextItem(input: {projectId: $project, contentId: $node_id}) {
-                projectNextItem {
-                  id
-                }
-              }
-            }' -f project=$PROJECT_ID -f node_id=$NODE_ID