about summary refs log tree commit diff
path: root/third_party/gitignoreSource
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2020-06-29T13·03-0400
committerglittershark <grfn@gws.fyi>2020-06-29T17·23+0000
commit40d079240578dd19f1552f6cf610e10396cc8569 (patch)
treecd9ce6733a75978c0b420d384869ddb0293062e5 /third_party/gitignoreSource
parent6d3a9e7b5feb13ae1595854254339686a2fc3c2d (diff)
feat(3p): Add gitignoreSource r/1128
I've done a small amount of investigation and settled on this as my
favorite gitignore source filter function out of the several that are
available.

Change-Id: Idf1f2f643acc7f8e44de6c0c8702b16e0d37face
Reviewed-on: https://cl.tvl.fyi/c/depot/+/762
Tested-by: BuildkiteCI
Reviewed-by: tazjin <mail@tazj.in>
Diffstat (limited to 'third_party/gitignoreSource')
-rw-r--r--third_party/gitignoreSource/default.nix8
1 files changed, 8 insertions, 0 deletions
diff --git a/third_party/gitignoreSource/default.nix b/third_party/gitignoreSource/default.nix
new file mode 100644
index 000000000000..d9d0262447fd
--- /dev/null
+++ b/third_party/gitignoreSource/default.nix
@@ -0,0 +1,8 @@
+{ pkgs, ... }:
+
+(import (pkgs.fetchFromGitHub {
+  owner = "hercules-ci";
+  repo = "gitignore";
+  rev = "f9e996052b5af4032fe6150bba4a6fe4f7b9d698";
+  sha256 = "0jrh5ghisaqdd0vldbywags20m2cxpkbbk5jjjmwaw0gr8nhsafv";
+}) { inherit (pkgs) lib; }).gitignoreSource