search

ankidroid / Anki-Android

AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
GNU General Public License v3.0
8.5k stars 2.21k forks source link

Remove 'Strings' label if PR no longer has strings #16110

Open david-allison opened 6 months ago

david-allison commented 6 months ago

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

Aditya13s commented 6 months ago

@david-allison I am working on it. Please assign me

github-actions[bot] commented 3 months ago

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] commented 1 day ago

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