diff options
| -rw-r--r-- | nix/nix-1p/default.nix | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/nix/nix-1p/default.nix b/nix/nix-1p/default.nix new file mode 100644 index 0000000000..cd1af92d83 --- /dev/null +++ b/nix/nix-1p/default.nix @@ -0,0 +1,15 @@ +# The canonical source location of nix-1p is //nix/nix-1p in the TVL +# depot: https://code.tvl.fyi/about/nix/nix-1p +# +# This file configures TVL CI to mirror the subtree to GitHub. +{ depot ? { }, pkgs ? import <nixpkgs> { }, ... }: + +(pkgs.runCommandLocal "nix-1p.md" { } '' + cp ${./README.md} $out +'').overrideAttrs (_: { + meta.ci.extraSteps.github = depot.tools.releases.filteredGitPush { + filter = ":/nix/nix-1p"; + remote = "git@github.com:tazjin/nix-1p.git"; + ref = "refs/heads/master"; + }; +}) |