Deploy Docs to CliMA/ParameterEstimoceanDocumentation repo

[navidcy]

Closes #231

[glwagner]

Looks like we have to make progress with the documentation issue first in order to merge more PRs?

[navidcy]

Looks like we have to make progress with the documentation issue first in order to merge more PRs?

No. The docs are not building because of incremental compilation errors (I think). But it's good to move the docs away from the main repo anyways.

[navidcy]

Something is actually going on with the docs... I'm puzzled...

[glwagner]

Something is actually going on with the docs... I'm puzzled...

Should we try moving to 1.7?

[navidcy]

I’ll try!

…

On 11 Jun 2022, at 03:17, Gregory L. Wagner ***@***.***> wrote:  Something is actually going on with the docs... I'm puzzled... Should we try moving to 1.7? — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.

[navidcy]

I’ll try!

I actually have trouble with Oceananigans + MPI locally on Julia v1.7.... aaaaarg!

[glwagner]

Problem with documenter keys?

remote: Permission to CliMA/ParameterEstimoceanDocumentation.git denied to github-actions[bot].
fatal: unable to access 'https://github.com/CliMA/ParameterEstimoceanDocumentation.git/': The requested URL returned error: 403
┌ Error: Failed to push:
│   exception =
│    failed process: Process(`gitpush-fqupstreamHEAD:gh-pages`, ProcessExited(128)) [128]
│ 
│    Stacktrace:
│      [1] pipeline_error

[navidcy]

Perhaps! At least this is different than before :)