Wolfgang Walther f0c1e4b672 ci/github-script/labels: solve TODOs ...

These can now be removed after enough time has passed.

Advanced search is only the default from November 4, according to the
GitHub docs at:
https://docs.github.com/en/rest/search/search?apiVersion=2022-11-28#search-issues-and-pull-requests

2025-10-11 13:35:53 +02:00

17 KiB

Raw Blame History

View Raw