From c20c25710b738a4a9734164a0b2aec9e21fb3c27 Mon Sep 17 00:00:00 2001 From: Csaba Date: Tue, 6 Aug 2024 09:42:06 +0200 Subject: [PATCH] Update Home --- Home.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Home.md b/Home.md index 8f4fbeb..21ce18b 100644 --- a/Home.md +++ b/Home.md @@ -93,3 +93,4 @@ Version number for non-releases - v2.0.0.-devNNN, **use v2.0.0-dev5ec367f** 7 chars **Note**: we must make sure that only trusted PRs get deployed, because anybody can make a PR +**Note**: Jenkins says it cannot update commit status: "Resource not accessible by personal access token"