From fada115cbeaa8c0ca3d19178499079b66ee5f499 Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Sun, 4 May 2025 18:54:04 +0200
Subject: [PATCH] doc: Explain that .gitignore is not for IDE-specific excludes

---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index f77d3a49e11..3b22e358dca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,8 @@
+# Patterns that are specific to a text editor, IDE, operating system, or user
+# environment are not added here. They should be added to your local gitignore
+# file instead:
+# https://docs.github.com/en/get-started/git-basics/ignoring-files#configuring-ignored-files-for-all-repositories-on-your-computer
+
 # Build subdirectories.
 /*build*
 !/build-aux