Hi Lisandro, > PS: This branch show be merged to "maint", but we really need to test
it in "next" before that. How should I make the pull request?
As your branch is within the PETSc repository already, you can also merge it to next directly, i.e.
$> git checkout next $> git pull $> git merge dalcinl/libpetsc-abi(then test it in next, push the results if everything works out and wait for results of nightly tests)
Best regards, Karli
