93 Use GitHub container registry

j-reher / bossdocker

Docker container to run BOSS in a development environment

GNU General Public License v3.0

0 stars 0 forks source link

93 Use GitHub container registry #94

Closed j-reher closed 2 years ago

j-reher commented 2 years ago

Extended deploy scripts to push to GitHub container registry in addition to DockerHub. I don't know if that is ever going to be used, but it's right there, so #whynot.