Use GitHub Actions to build environment images#

The repo2docker GitHub Action allows you to use repo2docker in your GitHub CI/CD to build environment images and push them to a registry. It is a useful way to automate building and pushing images to reduce deployment toil.

See the repo2docker GitHub Action README for documentation about how to use this tool.