From 96c546059fe0eb14f3e1bd038a965407e3b8d9d4 Mon Sep 17 00:00:00 2001
From: Alissa Tung <alissa-tung@outlook.com>
Date: Thu, 19 Oct 2023 12:21:39 +0800
Subject: [PATCH] elan: add `glean` (#126)

* elan: add \`glean\`

* elan: nightly
---
 src/lean/elan.rs |  4 ++++
 src/main.rs      | 18 ++++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/src/lean/elan.rs b/src/lean/elan.rs
index 8b45b8d..3117dcd 100644
--- a/src/lean/elan.rs
+++ b/src/lean/elan.rs
@@ -6,4 +6,8 @@ pub struct ElanConfig {
     pub retain_elan_versions: usize,
     #[structopt(long, default_value = "30")]
     pub retain_lean_versions: usize,
+    #[structopt(long, default_value = "30")]
+    pub retain_lean_nightly_versions: usize,
+    #[structopt(long, default_value = "1")]
+    pub retain_glean_versions: usize,
 }
diff --git a/src/main.rs b/src/main.rs
index 2a5a7f3..dc8a460 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -331,6 +331,14 @@ fn main() {
                     buffer_path.clone().unwrap(),
                     true,
                 );
+                let glean_src = stream_pipe::ByteStreamPipe::new(
+                    GitHubRelease::new(
+                        String::from("alissa-tung/glean"),
+                        source.retain_glean_versions,
+                    ),
+                    buffer_path.clone().unwrap(),
+                    true,
+                );
                 let lean_src = stream_pipe::ByteStreamPipe::new(
                     GitHubRelease::new(
                         String::from("leanprover/lean4"),
@@ -339,12 +347,22 @@ fn main() {
                     buffer_path.clone().unwrap(),
                     true,
                 );
+                let lean_nightly_src = stream_pipe::ByteStreamPipe::new(
+                    GitHubRelease::new(
+                        String::from("leanprover/lean4-nightly"),
+                        source.retain_lean_nightly_versions,
+                    ),
+                    buffer_path.clone().unwrap(),
+                    true,
+                );
                 let lean_org_repo_src = merge_pipe! {
                     lean4: lean_src,
+                    lean4_nightly: lean_nightly_src,
                 };
                 let unified = merge_pipe! {
                     elan: elan_src,
                     leanprover: lean_org_repo_src,
+                    glean: glean_src,
                 };
                 let indexed = index_pipe::IndexPipe::new(
                     unified,