master
internal/ci: delete completed TODO about the old registry tokens
internal/ci: cue fmt
internal/ci/github: rename repo -> _repo
internal/ci: use the new tipdeploy workflow in cuelang.org
internal/ci: set a custom default bash shell invocation
internal/ci: fix glob of files to delete