docs: add minimial doc for local labels

Signed-off-by: Roman Khimov <roman@nspcc.ru>
nspcc-dev · Dec 20, 2023 · 689a8e0 · 689a8e0
1 parent 6008c73
commit 689a8e0
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docs/labels.md b/docs/labels.md
@@ -0,0 +1,9 @@
+# Project-specific labels
+
+## Component
+
+Currently only these ones are used, but the list can be extended in future:
+
+- tla+
+
+  Related to the TLA+ algorithm specification