[petsc-users] When pull the petsc-dev for update:Connection timed out

[Sean Farley]

On Sun, Nov 25, 2012 at 12:09 PM, Alan <zhenglun.wei at gmail.com> wrote:
> Thanks Sean,
>     I tried the method you recommend. However, it shows;
> warning: bitbucket.org certificate not verified (check web.cacerts config
> setting)

To suppress that warning, you could add this to your ~/.hgrc

[hostfingerprints]
bitbucket.org = 24:9c:45:8b:9c:aa:ba:55:4e:01:6d:58:ff:e4:28:7d:2a:14:ae:3b

>     I missed this step:
> [Optional:] For ssh access - register your public ssh key at: 'YourName' ->
> 'Account' -> 'SSH keys'.
>     Since I think it is a option.

This is only if you want to push (over ssh as opposed to https). If
you don't plan on patching petsc, you don't need this option. You can
always change it later since it's just changing the wire protocol
method.

>     When it pulls the petsc-dev, it is fine. However, when it pulls the
> BuildSystem, it says:
>  abort: repository is unrelated
>
>
>     What should I do for this?

What does $PETSC_DIR/config/buildsystem/.hg/hgrc contain? The
default url should be

[paths]
default = https://bitbucket.org/petsc/buildsystem