build: remove dead headlines

jippi · May 6, 2024 · 9e842a3 · 9e842a3
1 parent 3f22a2f
commit 9e842a3
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/README.md b/README.md
@@ -37,14 +37,6 @@
     - [`label.skip_if` (optional)](#labelskip_if-optional)
 - [Expr-lang information](#expr-lang-information)
   - [Attributes](#attributes)
-    - [project](#project)
-    - [project.labels](#projectlabels)
-    - [group](#group)
-    - [merge_request](#merge_request)
-    - [merge_request.diff_stats](#merge_requestdiff_stats)
-    - [merge_request.first_commit](#merge_requestfirst_commit)
-    - [merge_request.last_commit](#merge_requestlast_commit)
-    - [merge_request.labels](#merge_requestlabels)
   - [Functions](#functions)
     - [`merge_request.modified_files`](#merge_requestmodified_files)
     - [`duration`](#duration)