[jankassens]

You could probably use GitHub actions to push any commits and branches to GitLab or anywhere else.