What url do you have for origin? Send output from:

git config --local -l

And do you have to list 'origin' in pull? [I guess you need to do that
if you have multiple remotes?]

And what do you have for:

git fetch origin
git describe origin/maint
git describe maint

Satish

On Wed, 27 Sep 2017, Mark Adams wrote:

> I just pulled maint but still get a message that I am out of date:
>
> 1072  git pull origin
>  1073  h
> 05:12 cori01 maint= ~/petsc_install/petsc$ ../arch-cori-knl-opt-intel.py
> PETSC_DIR=$PWD
> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> The version of PETSc you are using is out-of-date, we recommend updating to
> the new release
>  Available Version: 3.8   Installed Version: 3.7.6
> http://www.mcs.anl.gov/petsc/download/index.html
> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> ===============================================================================
>              Configuring PETSc to compile on your system
>
> ===============================================================================
>