From 787014731741f75479d63c54b67fca5045b7ec83 Mon Sep 17 00:00:00 2001
From: Lars Kiesow <lkiesow@uos.de>
Date: Thu, 16 May 2024 18:13:20 +0200
Subject: [PATCH] Fix branch name

We switched the default branch from `master` to `main` quite a while
ago. Unfortunately, one GitHub Actions workflow did not get updated.
This patch updates the branch name.
---
 .github/workflows/codeql-analysis.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
index aa6c442..81c31d8 100644
--- a/.github/workflows/codeql-analysis.yml
+++ b/.github/workflows/codeql-analysis.yml
@@ -2,10 +2,10 @@ name: CodeQL
 
 on:
   push:
-    branches: master
+    branches: main
   pull_request:
-    # The branches below must be a subset of the branches above
-    branches: [master]
+    branches:
+      - main
   schedule:
     - cron: '0 14 * * 0'