From ffd4eaf581432786fa51f1c27b1dd28dec475efe Mon Sep 17 00:00:00 2001
From: Martin Renner <martin+github@planet-renner.net>
Date: Fri, 13 Sep 2024 22:53:25 +0200
Subject: [PATCH] Move development away from main branch into develop branch.

This keeps the documentation on the main branch clean of changes which are not yet released.
---
 .github/dependabot.yml       | 2 ++
 .github/workflows/codeql.yml | 4 ++--
 .github/workflows/dotnet.yml | 4 ++--
 3 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index 0ae50f9..10158c1 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -7,9 +7,11 @@ version: 2
 updates:
   - package-ecosystem: "nuget"
     directory: "/" # Location of package manifests
+    target-branch: "develop"
     schedule:
       interval: "weekly"
   - package-ecosystem: "github-actions"
     directory: "/"
+    target-branch: "develop"
     schedule:
       interval: "weekly"
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index b6aa56f..dc266c0 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -13,10 +13,10 @@ name: "CodeQL"
 
 on:
   push:
-    branches: [ "main", release/* ]
+    branches: [ "main", release/*, "develop" ]
   pull_request:
     # The branches below must be a subset of the branches above
-    branches: [ "main" ]
+    branches: [ "main", "develop" ]
   schedule:
     - cron: '23 3 * * 4'
 
diff --git a/.github/workflows/dotnet.yml b/.github/workflows/dotnet.yml
index 9597200..7221e4d 100644
--- a/.github/workflows/dotnet.yml
+++ b/.github/workflows/dotnet.yml
@@ -5,9 +5,9 @@ name: .NET
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "develop" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "develop" ]
 
 jobs:
   build: