From b06c84152da2480e4011f6ab84d9a1f8c92bf949 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Tue, 30 Jun 2020 09:34:48 -0400
Subject: [PATCH] update status of gitlab labels after cleanup (e.g.
 tpo/tpa/gitlab#3)

---
 howto/gitlab.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/howto/gitlab.md b/howto/gitlab.md
index 36e92efa..e11c6f53 100644
--- a/howto/gitlab.md
+++ b/howto/gitlab.md
@@ -597,8 +597,13 @@ loading the label list can take a second or more on slower links, and
 it's really hard to find the label you're looking for, which affects
 usability -- and especially discoverability -- quite a bit.
 
-There is work underway in the [label cleanup](https://gitlab.torproject.org/ahf/label-cleanup/-/tree/main/) repository to
-rewrite and delete labels in one batch for all the projects.
+ahf performed a major label cleanup operation on 2020-06-27, following
+the specification in the [label cleanup](https://gitlab.torproject.org/ahf/label-cleanup/-/tree/main/) repository. It rewrote and
+deleted labels in one batch in all projects. When the job was done,
+[empty labels](https://gitlab.torproject.org/ahf/label-cleanup/-/blob/main/tpo/core/tor-delete.txt) were removed as well.
+
+A [dump of the previous state](https://gitlab.torproject.org/ahf/label-cleanup/-/raw/main/tpo/core/tor-history.yaml) is available for historical
+purposes.
 
 ### Project organisation
 
-- 
GitLab