Harshad Sahasrabudhe <[email protected]> writes: > If it is somehow useful : The problem seems to be that you are > requesting a merge with the branch next and not with the branch master > (which is the one you began from in the first place), and so all the > commits that are on the master and are not yet in the branch "next" > are being shown on this pull request.
All the commits in 'master' are also in 'next' and github.com agrees about that. https://github.com/hsahasra/petsc/compare/petsc:next...hsahasra:magma-dense-mat The summary in the pull request is a github bug, which I have reported, but have not heard back about yet.
pgp1JiUTlsJPQ.pgp
Description: PGP signature
