ankidroid
Remove 'Strings' label if PR no longer has strings
[!IMPORTANT] This issue is to be included in a research study, and should not be worked on
If a PR has strings changes, but these are then removed, https://github.com/ankidroid/Anki-Android/labels/Strings remains:
This wasted a little time digging into a "Sync Translations" failure after a merge
https://github.com/ankidroid/Anki-Android/actions/runs/8574935144/job/23502831936
https://github.com/ankidroid/Anki-Android/blob/main/.github/workflows/label.yml
Hello 👋, this issue has been opened for more than 3 months with no activity on it. If the issue is still here, please keep in mind that we need community support and help to fix it! Just comment something like still searching for solutions and if you found one, please open a pull request! You have 7 days until this gets closed automatically
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
Hello 👋, this issue has been opened for more than 3 months with no activity on it. If the issue is still here, please keep in mind that we need community support and help to fix it! Just comment something like still searching for solutions and if you found one, please open a pull request! You have 7 days until this gets closed automatically
Hello 👋, this issue has been opened for more than 3 months with no activity on it. If the issue is still here, please keep in mind that we need community support and help to fix it! Just comment something like still searching for solutions and if you found one, please open a pull request! You have 7 days until this gets closed automatically
Hello 👋, this issue has been opened for more than 3 months with no activity on it. If the issue is still here, please keep in mind that we need community support and help to fix it! Just comment something like still searching for solutions and if you found one, please open a pull request! You have 7 days until this gets closed automatically