ci: GitHub→GitLab mirror + GitLab publish pipeline#19

beengud wants to merge 1 commit into

mainbeengud/cli:mainfrom

ci/gitlab-mirrorbeengud/cli:ci/gitlab-mirrorCopy head branch name to clipboard