From ba71c426895967ed0c54d32b9239bd70257a23f1 Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Tue, 23 Nov 2021 10:50:16 +0100
Subject: [PATCH] Added some exceptions in grep-forbidden-patterns.sh.

---
 doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
index ae970ab6b..38e901559 100755
--- a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
+++ b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
@@ -23,7 +23,7 @@ s	\<SLURM\>
 doc.zih.tu-dresden.de/docs/contrib/content_rules.md
 i	file \+system	HDFS
 Use \"ZIH systems\" or \"ZIH system\" instead of \"Taurus\". \"taurus\" is only allowed when used in ssh commands and other very specific situations.
-doc.zih.tu-dresden.de/docs/contrib/content_rules.md
+doc.zih.tu-dresden.de/docs/contrib/content_rules.md	doc.zih.tu-dresden.de/docs/archive/phase2_migration.md
 i	\<taurus\>	taurus\.hrsk	/taurus	/TAURUS	ssh	^[0-9]\+:Host taurus$
 \"HRSKII\" should be avoided, use \"ZIH system\" instead.
 doc.zih.tu-dresden.de/docs/contrib/content_rules.md
@@ -35,13 +35,13 @@ i	hpc[ -]\+da\>
 
 i	attachurl
 Replace \"todo\" with real content.
-
+doc.zih.tu-dresden.de/docs/archive/system_triton.md
 i	\<todo\>	<!--.*todo.*-->
 Replace variations of \"Coming soon\" with real content.
 
 i	\(\<coming soon\>\|This .* under construction\|posted here\)
 Avoid spaces at end of lines.
-
+doc.zih.tu-dresden.de/docs/accessibility.md
 i	[[:space:]]$
 When referencing partitions, put keyword \"partition\" in front of partition name, e. g. \"partition ml\", not \"ml partition\".
 doc.zih.tu-dresden.de/docs/contrib/content_rules.md
-- 
GitLab