[petsc-dev] message for petsc git users - using 'maint' branch