[benterix]

Gitlab had their CI/CD a few years earlier, Github had no other option. As to which one feels more productive, that's up to personal tastes, for me Gitlab's option seems far more polished.