[petsc-dev] nobody in Integration approval group

[Balay, Satish]

The approval rules haven't changed as far as I can tell.

However - in my view - 'Team members' have disappeared. [but I see integrators, i'm in Integrators group]

In your view - 'Integration members' have disappeared. [but you see team - and you are in the team group]

I think gitlab changed something on their end - so we are seeing different views of the same thing.

But I don't think this will prevent integrators (or team members) from approving..

We can give this  a try at:

https://gitlab.com/petsc/petsc/merge_requests/2124

Satish


On Mon, 30 Sep 2019, Hapla Vaclav via petsc-dev wrote:

> 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