From e5b33e6eef7d5cf0718b08376f27b1fbf97ae74f Mon Sep 17 00:00:00 2001
From: Warner Losh <imp@FreeBSD.org>
Date: Sat, 6 Jan 2024 20:46:42 -0700
Subject: [PATCH] style.yml: Don't run this on branch pushes

We don't need to run this on branch pushes, just pull requests. It's
designed to be a gross filter for incoming commits, not something
perfect we need to keep green. It also doesn't work quite right for
branch pushes anyway and needs adjustment.

Also remove some debugging information. We don't need it anymore.

Noticed by:	jrtc27
Sponsored by:	Netflix
---
 .github/workflows/style.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml
index a84d32b65c0..a4d5adb90df 100644
--- a/.github/workflows/style.yml
+++ b/.github/workflows/style.yml
@@ -7,8 +7,6 @@ name: Style Checker
 # is proving elusive, so optimizations welcome.
 
 on:
-  push:
-    branches: [ main, 'stable/13', 'stable/14' ]
   pull_request: # maybe pull_request_target
     branches: [ main ]
     types: [ opened, reopened, edited ]
@@ -26,10 +24,6 @@ jobs:
         with:
           fetch-depth: 0
           ref: ${{ github.event.pull_request.head.sha }}
-      - name: Dump GitHub context
-        env:
-          GITHUB_CONTEXT: ${{ toJson(github) }}
-        run: echo "$GITHUB_CONTEXT"
       - name: Install packages
         run: |
           sudo apt-get update --quiet || true