[petsc-dev] testing with Pipelines before making merge request

[Barry Smith]

  One can test a branch with Pipelines (and fix it) before making a merge request. GitLab is smart enough to remember that branch has passed the pipeline and not require another test just because you make a MR (unless of course you change something based on MR feedback). 

  This can prevent some churn in merge request messages and constant pushes. Of course if one needs help in fixing a pipeline problem one is free to make a WIP merge request and ask for help there.

   Barry