diff options
| author | Griffin Smith <grfn@gws.fyi> | 2020-06-29T13·03-0400 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2020-06-29T17·23+0000 |
| commit | 40d079240578dd19f1552f6cf610e10396cc8569 (patch) | |
| tree | cd9ce6733a75978c0b420d384869ddb0293062e5 /third_party | |
| parent | 6d3a9e7b5feb13ae1595854254339686a2fc3c2d (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')
| -rw-r--r-- | third_party/gitignoreSource/default.nix | 8 |
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 |