diff options
| author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-10-24 15:01:54 +0200 |
|---|---|---|
| committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-10-24 15:01:54 +0200 |
| commit | 58cb6073531eb1d8d952d8739fb3cc8c1aa5a203 (patch) | |
| tree | 57181232d92e8917bd0ba122461b6df98f2b1b6a | |
| parent | 84506c34377450b062b1dfda8e883c5b94c9cb37 (diff) | |
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: "" |