about summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/nixery/default.nix8
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/nixery/default.nix b/tools/nixery/default.nix
index 6b053e55dd4e..ea662e19c5ea 100644
--- a/tools/nixery/default.nix
+++ b/tools/nixery/default.nix
@@ -60,6 +60,14 @@ depot.nix.readTree.drvTargets rec {
         --set WEB_DIR "${nixery-book}" \
         --prefix PATH : ${nixery-prepare-image}/bin
     '';
+
+    # Nixery is mirrored to Github at tazjin/nixery; this is
+    # automatically updated from CI for canon builds.
+    passthru.meta.ci.extraSteps.github = depot.tools.releases.filteredGitPush {
+      filter = ":/tools/nixery";
+      remote = "git@github.com:tazjin/nixery.git";
+      ref = "refs/heads/master";
+    };
   };
 
   # Container image containing Nixery and Nix itself. This image can