This needs to be merged, its CI, it needs to run as CI for all plugins and we 
won't ever know if it works unless its merged so it applies to all plugins and 
their PRs.  It can always be reverted (or preferably fixed) if it breaks 
something so don't be timid.  But AFAIK we will never know until its merged and 
all (or at least those without conflicts) PRs are triggered to re-run.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany-plugins/pull/1201#issuecomment-1372939871
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany-plugins/pull/1201/[email protected]>

Reply via email to