GitHub action to deploy docs on push to master

[birchmd]

I'm not 100% sure how to test whether this works or not. Probably we'll just have to merge this, then push some change to master and see if it runs successfully.

Closes #7

[artob]

@birchmd Works :+1: (Please note my comments for the future.)

• https://github.com/aurora-is-near/doc.aurora.dev/runs/2603381012
• https://github.com/aurora-is-near/doc.aurora.dev/commit/af4aef6438de09086c6d3b61b3d323ccc16f9830

[artob]

@birchmd On the downside, it does destroy all gh-pages branch history:

https://github.com/aurora-is-near/doc.aurora.dev/commits/gh-pages

Ideally that would be preserved so that we would know what exactly was published when. But it's not a high priority to fix.

[birchmd]

Agreed, that is not good. I assume this is because of the --force option passed by the action.

The action is not very complex, so maybe we should copy the script locally to our repo and remove the --force option. Then use our own copy of the script in the action.