Move entry from .rgignore to .gitignore (#3752)
authorNutomic <me@nutomic.com>
Fri, 28 Jul 2023 15:11:18 +0000 (17:11 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Jul 2023 15:11:18 +0000 (11:11 -0400)
rg command respects gitignore, and sql dumps should be ignored by
git as well. So theres no reason to have a separate file.

.gitignore
.rgignore [deleted file]

index e482488366d43f794beb235d66ff59bc86a2e8bb..186713e1f4a947b71380d42df2bd3a99cbbffbdf 100644 (file)
@@ -30,3 +30,6 @@ bindings
 # Database cluster and sockets for testing
 dev_pgdata/
 *.PGSQL.*
+
+# database dumps
+*.sqldump
diff --git a/.rgignore b/.rgignore
deleted file mode 100644 (file)
index eab207b..0000000
--- a/.rgignore
+++ /dev/null
@@ -1 +0,0 @@
-*.sqldump