Fix bot that pings us when PR labels are missing (#4501)

5e8a2116 · Nicolas Hug · GitHub · b5d81f02 · 5e8a2116
Unverified Commit 5e8a2116 authored Sep 29, 2021 by Nicolas Hug Committed by GitHub Sep 29, 2021
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.github/workflows/pr-labels.yml .github/workflows/pr-labels.yml +1 -1

No files found.
--- a/.github/workflows/pr-labels.yml
+++ b/.github/workflows/pr-labels.yml
@@ -3,7 +3,7 @@ name: pr-labels
 on:
  push:
    branches:
-      - master
+      - main
 jobs:
  is-properly-labeled: