[petsc-dev] petsc patch number

[Satish Balay]

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

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

nope

> 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]

Satish