Merge pull request #133 from servo/master-to-main

Rename `master` branch to `main`
servo · Mar 20, 2024 · 15d6375 · 15d6375
2 parents 102bcd3 + 7436e19
commit 15d6375
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -2,7 +2,7 @@ name: CI
 
 on:
   push:
-    branches: ['master', 'auto']
+    branches: ['main', 'auto']
   pull_request:
 
 jobs: