github: switch docs-like-code label to techdocs

Signed-off-by: Patrik Oldsberg <poldsberg@gmail.com>
2022-09-28 18:27:25 +02:00
parent 44aa394c35
commit a180dcd168
2 changed files with 2 additions and 2 deletions
@@ -9,7 +9,7 @@ search:
  - plugins/search/**/*
  - plugins/search-*/**/*
  - packages/search-*/**/*
-docs-like-code:
+techdocs:
  - plugins/techdocs/**/*
  - plugins/techdocs-*/**/*
  - packages/techdocs-*/**/*