The sync-labels option in .github/workflows/labels.yaml is currently set to true, which removes manually added labels that aren't in labels.yaml, correct? Would it be okay if I change this to false, or do you suggest a different approach? I’d prefer to keep manually assigned labels intact, but should we consider a priority system for which manual labels to keep and which to remove, or should we remove them entirely?

Thanks for offering to help! However, we first need to figure out if the developer team wants to make this change. I should have made that clearer when I raised the issue.

Ah okay, no worries.

@MDAnalysis/coredevs can we please switch off the GH sync-labels workflow?

If you want to discuss, please add comments. Otherwise 👍 or 👎 on the top of the issue over the next week. Thanks.

Unless there are any final objections, I'll change the behavior by Monday Jan 20.

(I put up the PR; if people object I can close it together with the issue.)