From b01b94a251416005532729a3506092494a55f116 Mon Sep 17 00:00:00 2001
From: Sanchayan Maity <sanchayan@sanchayanmaity.net>
Date: Tue, 9 May 2023 12:49:49 +0530
Subject: [PATCH] ripgrep: Add a configuration file

Primarily contains things we want to be ignored by ripgrep for now.
We had been including these in gitignore which was not really correct.
---
 ripgrep/.config/ripgrep/ripgreprc | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 ripgrep/.config/ripgrep/ripgreprc

diff --git a/ripgrep/.config/ripgrep/ripgreprc b/ripgrep/.config/ripgrep/ripgreprc
new file mode 100644
index 0000000..6eda43b
--- /dev/null
+++ b/ripgrep/.config/ripgrep/ripgreprc
@@ -0,0 +1,13 @@
+--glob=!git/*
+--glob=!*/gst-docs/*
+--glob=!hotdoc-*/
+--glob=!*/gstreamer-sharp/*
+--glob=!ChangeLog
+--glob=!*girs/*
+--glob=!*.po
+--glob=!*.json
+--glob=!*.lock
+--glob=!node_modules/*
+--glob=!mediasoup/*
+--glob=!mediasoup-*/
+--glob=!north-star/