From 9fd349df59eb8dfb3c6ac577da01d15dfa234732 Mon Sep 17 00:00:00 2001
From: Matthias Fey <matthias.fey@tu-dortmund.de>
Date: Thu, 29 Sep 2022 23:12:47 -0700
Subject: [PATCH] Do not remove labels when matching files are reverted (#5578)

---
 .github/workflows/labeler.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml
index 9d42818e606a..628ce74bf3e8 100644
--- a/.github/workflows/labeler.yml
+++ b/.github/workflows/labeler.yml
@@ -18,6 +18,7 @@ jobs:
         continue-on-error: true
         with:
           repo-token: "${{ secrets.GITHUB_TOKEN }}"
+          sync-labels: true
 
       - uses: samspills/assign-pr-to-author@v1.0
         if: github.event_name == 'pull_request'