ParentFull threadjankassens·You could probably use GitHub actions to push any commits and branches to GitLab or anywhere else.View on HN