b4n left a comment (geany/geany#4361) @giuspen shouldn't I merge the PR? Maybe the PR doesn't have access to the repo secrets or whatever? Sounds weird though…
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4361#issuecomment-3037219990 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4361/[email protected]>
