From e99cdc69b8ee6de5cd9454e2ef1a2d79f84f2a26 Mon Sep 17 00:00:00 2001
From: Jean-Guillaume Durand <jeangud7@gmail.com>
Date: Sun, 3 May 2026 19:54:08 -0700
Subject: [PATCH] docs(CONTRIBUTING): Document custom GitHub label workflow

---
 CONTRIBUTING.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index b16bd94428..17cd39f7fc 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -31,3 +31,17 @@ All submissions, including submissions by project members, require review. We
 use GitHub pull requests for this purpose. Consult
 [GitHub Help](https://help.github.com/articles/about-pull-requests/) for more
 information on using pull requests.
+
+### Managing Labels
+
+Any user can add or remove certain labels on pull requests and issues by leaving a comment.
+The supported labels are: `awaiting-author`, `WIP`, `Easy`, and `documentation`.
+
+- **To add a label**: Leave a comment with the exact label name on a line by itself. For example:
+  ```text
+  awaiting-author
+  ```
+- **To remove a label**: Leave a comment with `-` followed by the exact label name on a line by itself. For example:
+  ```text
+  -awaiting-author
+  ```