diff options
author | Uwe Klotz <uklotz@mixxx.org> | 2020-10-24 16:28:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-24 16:28:19 +0200 |
commit | 9c0b736d71eb1644e2d56540a5648e58c528b60a (patch) | |
tree | 57181232d92e8917bd0ba122461b6df98f2b1b6a | |
parent | 84506c34377450b062b1dfda8e883c5b94c9cb37 (diff) | |
parent | 58cb6073531eb1d8d952d8739fb3cc8c1aa5a203 (diff) |
Merge pull request #3210 from Holzhaus/gh-actions-labeler-fix
GitHub Actions: Prevent labeler from removing manually added labels
-rw-r--r-- | .github/workflows/labeler.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml index 14bb21cd21..0873de8f8d 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -17,3 +17,8 @@ jobs: - uses: actions/labeler@main with: repo-token: "${{ secrets.GITHUB_TOKEN }}" + + # This works around bug https://github.com/actions/labeler/issues/104. + # The workaround was proposed here: + # https://github.com/wesnoth/wesnoth/commit/958c82d0867568057caaf58356502ec8c87d8366 + sync-labels: "" |