Re: [petsc-dev] MR seemed to vanish

2019-10-10 Thread Mark Adams via petsc-dev
Oh, I see it is on a second page. And this MR has passed the test and I approved it. What is the next step to get it merged? On Thu, Oct 10, 2019 at 6:53 PM Mills, Richard Tran wrote: > Mark, I see it at https://gitlab.com/petsc/petsc/merge_requests/2130? Is > that not the right MR? > > --Richa

Re: [petsc-dev] MR seemed to vanish

2019-10-10 Thread Mills, Richard Tran via petsc-dev
Mark, I see it at https://gitlab.com/petsc/petsc/merge_requests/2130? Is that not the right MR? --Richard On 10/10/19 3:51 PM, Mark Adams via petsc-dev wrote: My MR mark/gamg-eigest-sa-cheby seems to have vanished. It does not seem to be in master. Anyone know where it is? Thanks, Mark

[petsc-dev] MR seemed to vanish

2019-10-10 Thread Mark Adams via petsc-dev
My MR mark/gamg-eigest-sa-cheby seems to have vanished. It does not seem to be in master. Anyone know where it is? Thanks, Mark