SIGN IN SIGN UP

Merge pull request #5103 from baywet/ci/unpin-manual-issues

ci: adds a step to unpin issues that were closed manually
R
Ralf Handl committed
4bda54abeb57fc0b5daadbd1e097b6f4d899d8ed
Committed by GitHub <noreply@github.com> on 11/3/2025, 5:14:55 PM