Sure. Should we port that deploy to github actions sometime, or do we like it split?