Add the workflow for github

Merge Request Overview

This merge request adds the workflow for the GitHub mirror that deploys a website mirror.

Testing Strategy

This merge request was not yet tested, will be tested when it is mirrored to GitHub.

TODO or Help Wanted

N/A

Build

• Ran ./build.sh.

Author

Signed-off-by: Alexandru Radovici alexnadru.radovici@wyliodrin.com