From a6307a3e3e6697a7595adbaf3f3c3d91d144e960 Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch>
Date: Wed, 30 Oct 2024 10:18:33 +0100
Subject: [PATCH] update docs

---
 docs/20_Checks/check_gitlab_tokens.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/20_Checks/check_gitlab_tokens.md b/docs/20_Checks/check_gitlab_tokens.md
index 9f1959c..445e1d8 100644
--- a/docs/20_Checks/check_gitlab_tokens.md
+++ b/docs/20_Checks/check_gitlab_tokens.md
@@ -52,6 +52,10 @@ GITLAB_TOKEN='glpat-1234567890'
 # REST_CLIENT='/some/where/rest-api-client.sh'
 ```
 
+Hint:
+
+If you need to skip the token check but the check was rolled out on a server then you can set `GITLAB_TOKEN=SKIP`. You can leave the other variables empty.
+
 ## Syntax
 
 ```txt
@@ -110,7 +114,7 @@ EXAMPLES:
 
 ```
 
-## Example
+## Output
 
 The execution of  `check_gitlab_tokens` returns
 
-- 
GitLab