feat(ci): Enable push mirroring to RWTH GiutLab#895

stv0g merged 1 commit into

masterVILLASframework/node:masterfrom

push-mirror-to-gitlabVILLASframework/node:push-mirror-to-gitlabCopy head branch name to clipboard