Wolfgang Walther d78de15627 workflows/bot: rename from labels ...

This workflow / script is already doing more than must labeling: it's
already auto-closing package request issues.

Since we're going to migrate the nixpkgs-merge-bot into this workflow,
we'll rename things to a more generic name.

2025-11-01 15:24:09 +01:00

938 B

Raw Permalink Blame History

View Raw