On Tue, 11 Jun 2019, Pierre Gosselet via petsc-dev wrote: > Maybe the "Pull Request" explanation in > https://bitbucket.org/petsc/petsc/wiki/pull-request-instructions-git > should not link to https://bitbucket.org/petsc/petsc/pull-request/new Thanks! I've updated the wiki instructions. Satish