diff options
author | Uwe Klotz <uklotz@mixxx.org> | 2020-10-24 17:24:53 +0200 |
---|---|---|
committer | Uwe Klotz <uklotz@mixxx.org> | 2020-10-24 17:24:53 +0200 |
commit | f42f5e86d0354c167bc096719b4b030371c96fd1 (patch) | |
tree | 1b8a93c164068c4b8d0b3d93acce5b65dcb85e11 | |
parent | fa314ae5683bc14e094664dafc62a353b35fbacb (diff) | |
parent | 0ef7064a72a8b45759b5bf43974c6e278cfad309 (diff) |
Merge branch '2.3' of git@github.com:mixxxdj/mixxx.git into main
-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: "" |