From adc92835f10da7fa3f99b144eb2a8b84b23546c6 Mon Sep 17 00:00:00 2001
From: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
Date: Wed, 5 Feb 2025 21:10:33 -0500
Subject: [PATCH] Snakefile: add GITHUB_PR and others to metadata (#131)
---
Snakefile | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Snakefile b/Snakefile
index 14e28f0e..9b230cf9 100644
--- a/Snakefile
+++ b/Snakefile
@@ -132,6 +132,9 @@ cat > {output} <<EOF
"CI_PIPELINE_ID": "${{CI_PIPELINE_ID:-}}",
"CI_PIPELINE_SOURCE": "${{CI_PIPELINE_SOURCE:-}}",
"CI_PROJECT_ID": "${{CI_PROJECT_ID:-}}",
+ "GITHUB_REPOSITORY": "${{GITHUB_REPOSITORY:-}}",
+ "GITHUB_SHA": "${{GITHUB_SHA:-}}",
+ "GITHUB_PR": "${{GITHUB_PR:-}}",
"PIPELINE_NAME": "${{PIPELINE_NAME:-}}"
}}
EOF
--
GitLab