[petsc-dev] git problem

[Barry Smith]

> On Sep 9, 2016, at 9:45 PM, Matthew Knepley <knepley at gmail.com> wrote:
> 
> On Fri, Sep 9, 2016 at 8:54 PM, Barry Smith <bsmith at mcs.anl.gov> wrote:
> 
>    This came up and I haven't seen it before, google is not helpful in resolving it.
> 
> 
> git pull http://bitbucket.org/vlc1/petsc vlc1/dmcomposite
> fatal: unable to access 'https://bitbucket.org/vlc1/petsc/': SSL certificate problem: unable to get local issuer certificate
> 
> Don't use https://, use the ssh:// protocol. You might have to fix it in your .git/config

  Note I'm pulling from some other guys repository, not the PETSc where my ssh key will work. Until today this use to work for "other guys" repositories.


> 
>    Matt
>  
> Meanwhile things like
> 
> $ git checkout master
> Switched to branch 'master'
> Your branch is behind 'origin/master' by 4 commits, and can be fast-forwarded.
>   (use "git pull" to update your local branch)
> ~/Src/petsc/src/ts/examples/tutorials (master<) arch-basic
> $ git pull
> Updating acfa351..b3a4586
> Fast-forward
>  bin/maint/buildtest                     |  7 +------
>  bin/maint/runhtml.py                    |  1 +
>  config/PETSc/Configure.py               |  4 +++-
>  src/ksp/ksp/examples/tutorials/makefile |  8 ++++----
>  src/mat/examples/tests/makefile         | 30 +++++++++++++++---------------
>  5 files changed, 24 insertions(+), 26 deletions(-)
> ~/Src/petsc/src/ts/examples/tutorials (master=) arch-basic
> 
> seem to work fine. I can also go to  http://bitbucket.org/vlc1/petsc via the browser and it displays the repository fine. So what is the issue?
> 
>   Thanks
> 
>   Barry
> 
> 
> 
> 
> 
> 
> 
> 
> -- 
> What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.
> -- Norbert Wiener