From a983781bf79e74ec4063aa699b8ed39f2a4dd347 Mon Sep 17 00:00:00 2001 From: Antonin Delpeuch Date: Tue, 9 Nov 2021 09:45:13 +0100 Subject: [PATCH] Add more granular tags to label documentation PRs For #4285. --- .github/autolabeler.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/autolabeler.yml b/.github/autolabeler.yml index f4460f786..2f72abf88 100644 --- a/.github/autolabeler.yml +++ b/.github/autolabeler.yml @@ -1 +1,3 @@ documentation: ["/docs"] +"current docs": ["/docs/docs"] +"historical docs": ["/docs/versioned_docs"]