From 6e9923d8951df07ce2bc1dcf71ad5ecc7f45e2c6 Mon Sep 17 00:00:00 2001
From: Robert Lin <robert@bobheadxi.dev>
Date: Tue, 7 Dec 2021 09:48:53 -0800
Subject: [PATCH] workflows: move team/devx to devx board, remove distribution
 board (#28645)

---
 .github/workflows/label-move.yml | 31 ++-----------------------------
 1 file changed, 2 insertions(+), 29 deletions(-)

diff --git a/.github/workflows/label-move.yml b/.github/workflows/label-move.yml
index b9012931ac0..3be513fb453 100644
--- a/.github/workflows/label-move.yml
+++ b/.github/workflows/label-move.yml
@@ -14,33 +14,6 @@ jobs:
   #     }
   #   }
   #   }' -F project=212
-  distribution-board:
-    runs-on: ubuntu-latest
-    env:
-      PROJECT_ID: MDExOlByb2plY3ROZXh0MzIxNw== # https://github.com/orgs/sourcegraph/projects/197
-      GITHUB_TOKEN: ${{ secrets.GH_PROJECTS_ACTION_TOKEN }}
-    steps:
-    - name: Get issue if relevant
-      if: ${{ contains(github.event.issue.labels.*.name, 'team/distribution') }}
-      env:
-        NODE_ID: ${{ github.event.issue.node_id }}
-      run: echo 'NODE_ID='$NODE_ID >> $GITHUB_ENV
-    - name: Get pull request if relevant
-      if: ${{ contains(github.event.pull_request.labels.*.name, 'team/distribution') }}
-      env:
-        NODE_ID: ${{ github.event.pull_request.node_id }}
-      run: echo 'NODE_ID='$NODE_ID >> $GITHUB_ENV
-    - name: Add to Distribution board
-      if: ${{ env.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
   code-insights-board:
     runs-on: ubuntu-latest
     env:
@@ -102,12 +75,12 @@ jobs:
       GITHUB_TOKEN: ${{ secrets.GH_PROJECTS_ACTION_TOKEN }}
     steps:
     - name: Get issue if relevant
-      if: ${{ contains(github.event.issue.labels.*.name, 'dx') || contains(github.event.issue.labels.*.name, 'team/dev-experience') }}
+      if: ${{ contains(github.event.issue.labels.*.name, 'dx') || contains(github.event.issue.labels.*.name, 'team/devx') }}
       env:
         NODE_ID: ${{ github.event.issue.node_id }}
       run: echo 'NODE_ID='$NODE_ID >> $GITHUB_ENV
     - name: Get pull request if relevant
-      if: ${{ contains(github.event.pull_request.labels.*.name, 'dx') || contains(github.event.pull_request.labels.*.name, 'team/dev-experience') }}
+      if: ${{ contains(github.event.pull_request.labels.*.name, 'dx') || contains(github.event.pull_request.labels.*.name, 'team/devx') }}
       env:
         NODE_ID: ${{ github.event.pull_request.node_id }}
       run: echo 'NODE_ID='$NODE_ID >> $GITHUB_ENV