From 2fadcf2859dcdf7b7ce55dd7040d0955822f955e Mon Sep 17 00:00:00 2001
From: Massimiliano Pippi <mpippi@gmail.com>
Date: Mon, 21 Nov 2022 16:19:25 +0100
Subject: [PATCH] add labeler to the repo (#3609)

---
 .github/labeler.yml           |  2 ++
 .github/workflows/labeler.yml | 15 +++++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 .github/labeler.yml
 create mode 100644 .github/workflows/labeler.yml

diff --git a/.github/labeler.yml b/.github/labeler.yml
new file mode 100644
index 000000000..adf6fab20
--- /dev/null
+++ b/.github/labeler.yml
@@ -0,0 +1,2 @@
+Proposal:
+- proposals/text/*
\ No newline at end of file
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml
new file mode 100644
index 000000000..8348b9e6f
--- /dev/null
+++ b/.github/workflows/labeler.yml
@@ -0,0 +1,15 @@
+name: "Labeler"
+on:
+- pull_request_target
+
+permissions:
+  contents: read
+  pull-requests: write
+
+jobs:
+  triage:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/labeler@v4
+      with:
+        repo-token: "${{ secrets.GITHUB_TOKEN }}"
\ No newline at end of file