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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany-plugins/pull/1201/c1372939871@github.com>