Merge pull request #30291 from ankush/13_23_pre_release

chore: merge version-13-hotfix to version-13-pre-release

.github/workflows/patch.yml

@@ -5,7 +5,6 @@ on:
     paths-ignore:
       - '**.js'
       - '**.md'
-    types: [opened, unlabeled, synchronize, reopened]
   workflow_dispatch:
 
 
@@ -30,11 +29,6 @@ jobs:
         options: --health-cmd="mysqladmin ping" --health-interval=5s --health-timeout=2s --health-retries=3
 
     steps:
-      - name: Check for merge conficts label
-        if: ${{ contains(github.event.pull_request.labels.*.name, 'conflicts') }}
-        run: |
-          echo "Remove merge conflicts and remove conflict label to run CI"
-          exit 1
       - name: Clone
         uses: actions/checkout@v2
 

.github/workflows/server-tests.yml

@@ -5,7 +5,6 @@ on:
     paths-ignore:
       - '**.js'
       - '**.md'
-    types: [opened, unlabeled, synchronize, reopened]
   workflow_dispatch:
   push:
     branches: [ develop ]
@@ -40,12 +39,6 @@ jobs:
         options: --health-cmd="mysqladmin ping" --health-interval=5s --health-timeout=2s --health-retries=3
 
     steps:
-      - name: Check for merge conficts label
-        if: ${{ contains(github.event.pull_request.labels.*.name, 'conflicts') }}
-        run: |
-          echo "Remove merge conflicts and remove conflict label to run CI"
-          exit 1
-
       - name: Clone
         uses: actions/checkout@v2