[petsc-dev] petsc patch number

Satish Balay balay at mcs.anl.gov
Thu Apr 13 13:06:25 CDT 2017

On Thu, 13 Apr 2017, Kong, Fande wrote:

> Hi Developers,
> Do we increase the patch number when pushing a new patch into maint?


> If not, how to know if the current maint is different from the one I
> just got yesterday. I know a commit number is always available.

git fetch && git log maint..origin/maint

[and you can look at that and decide to do a 'git pull' on maint]


More information about the petsc-dev mailing list