Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.
My ulterior motive was then to read something like [xxx] from the PR and only do that one :-)
Or maybe CI could ask git which directories (== which plugins) are modified and build those.
Or maybe an AI bot could work it out, I here Sweet Geany is unemployed ;-P
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.