[petsc-dev] nobody in Integration approval group

Hapla Vaclav vaclav.hapla at erdw.ethz.ch
Mon Sep 30 12:45:24 CDT 2019


Somebody changed the approval rules so that there is nobody in Integration. This is confusing and would block most MRs from merging (because they usually require at least one approval from Integration but there is nobody ATM). If it was a mistake, please fix it. If it was deliberate, please explain.

Thanks,
Vaclav


More information about the petsc-dev mailing list