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
