From acfe6172b4d4196c3db67ef2baf62b534834c3a5 Mon Sep 17 00:00:00 2001 From: Thomas Beutlich Date: Tue, 14 Oct 2025 22:04:07 +0200 Subject: [PATCH] Fix default branch name --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8d0dddde..8cc876af 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -15,7 +15,7 @@ Guidelines for bug reports: 1. **Use the GitHub issue search** — check if the issue has already been reported. -2. **Check if the issue has been fixed** — try to reproduce it using the latest `master` branch in the repository. +2. **Check if the issue has been fixed** — try to reproduce it using the latest `main` branch in the repository. 3. **Isolate the problem** — create a reduced test case or example.