PRs which modify packages should eventually be auto-merged, provided that no packages change from PASS to FAIL. (Perhaps we also want to require that the modified package(s) must PASS).
Clearly this means we'll need the work by @FriedrichRober to be fully ready so we can determine whether these conditions are satisfied.
However, PRs which add or remove packages should probably not be automerged. Likewise if anything other than a packages/*/meta.json file is added/removed/modified.
PRs which modify packages should eventually be auto-merged, provided that no packages change from PASS to FAIL. (Perhaps we also want to require that the modified package(s) must PASS).
Clearly this means we'll need the work by @FriedrichRober to be fully ready so we can determine whether these conditions are satisfied.
However, PRs which add or remove packages should probably not be automerged. Likewise if anything other than a
packages/*/meta.jsonfile is added/removed/modified.