From 22d3dc07f4435b83beb3b5aa4fda64eb61751de7 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 20 Jan 2026 07:14:18 +0000 Subject: [PATCH] =?UTF-8?q?=F0=9F=A4=96:=20jenkins,=20sourcegraph?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit jenkins: - Item root['versions']['2.547'] ({'name': '2.547', 'date': '2026-01-20'}) added to dictionary. sourcegraph: - Item root['versions']['6.12.1287'] ({'name': '6.12.1287', 'date': '2026-01-20'}) added to dictionary. --- releases/jenkins.json | 4 ++++ releases/sourcegraph.json | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/releases/jenkins.json b/releases/jenkins.json index 76320b0a..c106075f 100644 --- a/releases/jenkins.json +++ b/releases/jenkins.json @@ -1,6 +1,10 @@ { "releases": {}, "versions": { + "2.547": { + "name": "2.547", + "date": "2026-01-20" + }, "2.546": { "name": "2.546", "date": "2026-01-13" diff --git a/releases/sourcegraph.json b/releases/sourcegraph.json index 7934ec1c..9a586e8c 100644 --- a/releases/sourcegraph.json +++ b/releases/sourcegraph.json @@ -1,6 +1,10 @@ { "releases": {}, "versions": { + "6.12.1287": { + "name": "6.12.1287", + "date": "2026-01-20" + }, "6.12.1271": { "name": "6.12.1271", "date": "2026-01-19"